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 产生了“新内容”，还是只在乎它产生的内容…
标签： GPT-4
不要停止 Gemini 2.5 Flash
在 Hacker News 社区中，有用户表达了对 Google 可能过早停止或弃用 Gemini 2.5 Flash 模型 API 版本的担忧，核心原因是用户认为某个模型在特定测试中得分更高，并不代表它在所有场景下都更优秀，而公司出于商业动机更倾向于淘汰低价或旧版本以推动用户升级。
Kyutai 发布 MuScriptor：一款开放式解码器专用转换器，用于将多乐器音乐转录为 MIDI
Kyutai 发布了 MuScriptor，一个基于解码器专用 Transformer 架构的开放权重模型，能够将包含多种乐器的音频文件直接转录为 MIDI 格式。这一发布意味着音乐创作者和开发者现在拥有了一个可直接使用、可本地部署的多乐器音乐转录工具，有望降低专业音频处理的门槛。
GPT-5.6 Sol Ultra 用 64 子智能体一小时破解 50 年数学难题
GPT-5.6 Sol Ultra 通过并行调用 64 个子智能体，在不到一小时内自动生成了存在 50 年的“Cycle Double Cover 猜想”的证明，将原本可能需要一整天的推理任务压缩至单小时完成。
OpenAI 推出 ChatGPT Work 与 Codex 两款智能体
OpenAI 于 2026 年 7 月 9 日推出 ChatGPT Work 和 Codex 两款智能体，将 ChatGPT 从对话工具升级为能跨应用执行复杂任务的自动化助手，并引入按 Token 消耗的智能体额度体系。
Perplexity 推出跨模型信用额度分析功能
Perplexity 在账户设置中新增“Computer Analytics”功能，允许用户和开发者在账户设置中追踪不同 AI 模型的信用额度消耗情况，让算力使用更透明、更可控。
Meta AI 的 Muse Spark 1.1
Meta 超智能实验室发布了 Muse Spark 1.1，这是一款专为智能体（Agent）任务设计的多模态推理模型，在工具使用、计算机操作和多模态理解等关键能力上实现了显著提升。
Latenode AI 工作流程构建器
Latenode 于今日在 ProductHunt 发布其 AI 工作流程构建器，允许用户通过自然语言描述来生成可投入生产的 AI 代理与自动化流程，产品内置超过 5500 个集成接口。这一功能将大幅降低构建复杂 AI 工作流的技术门槛。
Bun 在 Claude Fable 5 的帮助下放弃了 Zig，转而使用 Rust，在 11 天内编写了超过 100 万行代码
JavaScript 工具 Bun 从 Zig 语言全面重写为 Rust，这次迁移由 Anthropic 的 Claude Fable 5 模型主导完成——64 个实例并行运行 11 天，生成了超过 100 万行代码，API 费用约 16.5 万美元，开发者估测人工作业需要一年。
AI日报：GPT5.6系列模型发布 Codex消失;腾讯拟接盘Manus成最大股东；MiniMax创始人宣布零薪酬直至实现AGI
OpenAI 发布以 Sol、Terra、Luna 命名的 GPT-5.6 系列模型，主打网络安全与高性价比；腾讯计划以 20 亿美元估值控股 AI 智能体公司 Manus；MiniMax 创始人宣布零薪酬直至实现 AGI。同日，字节跳动与蚂蚁集团分别更新视频模型与具身智能模型。