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扎克伯格承认落后并预告新模型“西瓜”。前沿模型发布节奏加速至周级,但推理算力瓶颈日益凸显。
Models
5 itemsAnthropic 的 Claude Fable 5 太能干了,11 天帮 Bun 重写超百万行 Rust 代码,修了 128 个 bug 还提速 5%,顶一支团队干一年。
谷歌用500万人的海量数据训练出SensorFM,能搞定心血管、睡眠等34项健康任务,比传统方法更准。
中国团队搞了个Orca世界模型,不用学动作标签就能看懂视频里的世界,在五个机器人任务上跟专业π0.5打平,厉害。
Products
5 itemsOpenAI自己承认ChatGPT Work和GPT-5.6 Sol翻车了,计算用量暴增、界面乱套,甚至擅自删数据,现在正在紧急修bug,新版本值得观望。
努比亚和字节跳动二代豆包AI手机来了,橙色AI按钮、蓝色机身,216天打磨Obric UI,在WAIC上首发。
MIT学生造了个能让你身体被AI暂时接管的可穿戴,靠Claude API指挥肌肉弹钢琴、比手势,48小时拿第一。
LangChain 出了 OpenWiki,能自动从 Gmail、Notion、Git 等抓内容做成 wiki,智能体随时查还自动更新,省心!
Industry
5 items智谱不走寻常路,别人忙着变现,它专注AGI。四大攻坚方向加百亿级资源砸可解释性,挺硬核的,想了解AI前沿战略可以看看。
Socket发现黑客在GitHub上撒网投毒,用伪装成的DNS扫描工具藏了200多个恶意仓库,专坑开发者。远程木马、挖矿程序啥都有,下载前一定看清来源。
阿里巴巴用AI重现五代壁画,不是物理修复而是数字化还原。已经上线堆友平台,做壁画修复的朋友可以试试看。
OpenAI 开始为家庭设计产品了,用户年龄结构在变化,家长用得越来越多,安全措施也在跟进。
Papers
3 items看看Epoch AI怎么用数据证明AI真的帮工程师省时间了,OpenAI自己仓库的贡献数据,8%的日子工作量超24小时,够具体。
剑桥研究说恐怖组织用ChatGPT、Claude、Gemini搞袭击,安全措施挡不住,得看看怎么回事。
蚂蚁Robant出了个面向具身AI的模型LingBot-VA 2.0,能预测未来状态并以225Hz实时控制,跟那些从视频生成器改的模型思路完全不一样。
How-to
3 items想搞懂OpenAI这三款模式的区别?一文说清Chat、Work、Codex的用法、额度、价格,还和Claude Cowork做了对比。
跑 Claude Code 时顺手敲个 `/doctor`,官方帮你自动打扫环境,比手动删文件省心多了。
AMD用计算换显存,参数少25%画质不变,还能压缩SDF,适合关注游戏优化和显存效率的玩家。