GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]
![GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-319-768x403.jpg)
一则来自 Hacker News 的讨论引发了对数学证明与 AI 生成内容价值的反思。并非 OpenAI 官方发布，而是围绕“如果 LLM 证明了一个长期未解的数学猜想，这意味着什么？”的思辨。这场讨论意外揭示了 AI 发展中的一个根本价值冲突：我们到底应该庆祝 AI 产生了“新内容”，还是只在乎它产生的内容…
标签： Claude
不要停止 Gemini 2.5 Flash
在 Hacker News 社区中，有用户表达了对 Google 可能过早停止或弃用 Gemini 2.5 Flash 模型 API 版本的担忧，核心原因是用户认为某个模型在特定测试中得分更高，并不代表它在所有场景下都更优秀，而公司出于商业动机更倾向于淘汰低价或旧版本以推动用户升级。
苹果起诉 OpenAI 涉嫌窃取硬件机密
苹果于上周五正式起诉 OpenAI 及其硬件负责人唐坦，指控其系统性挖角苹果员工、窃取包括未发布零件、原型机和机密设计在内的商业机密，用于 OpenAI 消费级硬件产品的开发。这场诉讼可能成为硅谷自 Waymo 诉 Uber 之后最具影响力的知识产权案之一。
Hugging Face 的 Clem Delangue 表示，开源人工智能比以往任何时候都更重要
Hugging Face 首席执行官 Clem Delangue 在 TechCrunch 播客中强调，开源 AI 在企业规模化应用中正成为主流选择，但同时也面临闭源巨头垄断和地缘政治竞争的双重压力。他特别指出，美国多数开源模型下载量来自中国实验室，这一现状值得警惕而非否定开源本身。
如何使用 DeepAnalyze-8B、沙盒代码执行和迭代分析构建 T4 友好的自治数据科学代理
MarkTechPost Research 发布了一篇技术指南，介绍如何利用 DeepAnalyze-8B 模型、沙盒代码执行环境与迭代分析框架，在 NVIDIA T4 GPU（常见且成本较低的推理卡）上构建一个自治数据科学代理。此举旨在让数据科学自动化工具在非旗舰级硬件上也能高效运行，降低算力门槛。
Kyutai 发布 MuScriptor：一款开放式解码器专用转换器，用于将多乐器音乐转录为 MIDI
Kyutai 发布了 MuScriptor，一个基于解码器专用 Transformer 架构的开放权重模型，能够将包含多种乐器的音频文件直接转录为 MIDI 格式。这一发布意味着音乐创作者和开发者现在拥有了一个可直接使用、可本地部署的多乐器音乐转录工具，有望降低专业音频处理的门槛。
Meta Muse Spark 1.1 在 Artificial Analysis 智能指数中得分 51，兼具成本与 token 效率优势
Meta 最新的 Muse Spark 1.1 模型在 Artificial Analysis 的智能指数中获得 51 分，相较于三个月前发布的 1.0 版本有显著提升，且在同等得分梯队中表现出最佳的成本控制和 token 使用效率，是性价比突出的新选择。
欧洲央行的 Moulin 认为人工智能可能加剧通胀波动
欧洲央行管委、法国央行行长 Emmanuel Moulin 警告，人工智能（AI）对通胀的影响难以预测，且可能不仅影响物价水平，还会加剧价格波动，短期看 AI 或因资本支出推高通胀，长期则因生产率提升抑制通胀。
欧洲央行的 Moulin 认为人工智能可能加剧通胀波动
欧洲央行管委、法国央行行长 Emmanuel Moulin 公开表示，人工智能对通胀的影响难以预测，且可能加剧价格波动。这一观点提醒市场：AI 的经济效应并非单向降通胀，而是同时作用于供需两端，带来更大不确定性。
只剩 7 天！第三届蚂蚁 InTech 奖申报即将截止，图灵奖得主坐镇评审
蚂蚁集团设立的 InTech 奖正在申报中，7月17日截止。该奖项面向全球青年学者和在读博士生，覆盖 AGI、具身智能、数字医学、数据处理与安全隐私四个方向，评审团包括图灵奖得主和多位两院院士。主办方希望直接奖励前沿科研人才，推动学术成果走向产业落地。