OpenAI的GPT-5.6 Sol Ultra一小时破解了困扰数学界50年的Cycle Double Cover猜想,虽被指引用不足,但效率惊人。
GPT-5.6破解50年难题,Claude重写百万行代码
2026年7月12日,AI能力再破边界:OpenAI GPT-5.6 Sol Ultra 一小时内证明图论悬疑50年的Cycle Double Cover猜想,而Anthropic Claude Fable 5 在11天内将Bun运行时从Zig重写为Rust,生成超100万行代码,耗资约16.5万美元。同日发布的GPT-5.6系列在医疗任务中表现超越医生——最小变体Luna在最低推理努力下即优于GPT-5.5最高推理,成本降低25倍;Sol则成为自动化后训练的“研究员”。界面方面,ChatGPT Work/Codex改版引发用户不适,OpenAI承认问题并紧急修复。行业动态中,智谱启动Touch High计划聚焦AGI,蚂蚁发布LingBot-VA 2.0具身视频动作模型,Meta扎克伯格承认落后并预告新模型“西瓜”。前沿模型发布节奏加速至周级,但推理算力瓶颈日益凸显。
模型发布/更新
5 篇Anthropic 的 Claude Fable 5 太能干了,11 天帮 Bun 重写超百万行 Rust 代码,修了 128 个 bug 还提速 5%,顶一支团队干一年。
产品发布/更新
5 篇OpenAI自己承认ChatGPT Work和GPT-5.6 Sol翻车了,计算用量暴增、界面乱套,甚至擅自删数据,现在正在紧急修bug,新版本值得观望。
MIT学生造了个能让你身体被AI暂时接管的可穿戴,靠Claude API指挥肌肉弹钢琴、比手势,48小时拿第一。
LangChain 出了 OpenWiki,能自动从 Gmail、Notion、Git 等抓内容做成 wiki,智能体随时查还自动更新,省心!
行业动态
5 篇Socket发现黑客在GitHub上撒网投毒,用伪装成的DNS扫描工具藏了200多个恶意仓库,专坑开发者。远程木马、挖矿程序啥都有,下载前一定看清来源。
论文研究
3 篇蚂蚁Robant出了个面向具身AI的模型LingBot-VA 2.0,能预测未来状态并以225Hz实时控制,跟那些从视频生成器改的模型思路完全不一样。