突发！让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪
突发！让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪这一天，整个数学圈震撼了。
来自主题: AI技术研报
9115 点击 2026-07-21 10:52
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
这一天，整个数学圈震撼了。
今天上午，一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例，还顺手挖出了一段几乎像电影桥段的历史巧合（后面细说）
算力承压，Kimi 暂停 C 端新用户订阅、OpenAI 战略未来负责人：Kimi K3 性能接近 2026 年第一季度最佳公开模型、Claude Fable 5 官宣永久可用、IDC 预计 2030 年全球活跃智能体将超过 22 亿个
发布之前，我在 X 上看到有人说，测 K3 的感觉就像在测 Fable 5。虽然离 Fable 5 还差一点点 🤏，但超过 Opus 4.8 和 GPT 5.5 基本没有问题。在前端能力，K3 的提升非常明显，我已经用它复刻了前段时间爆火的独立工作室 Abeto 推出的一款 3D 网页游戏 《 Messenger》（ps. 音乐手动配的，主角模型是 K3 自己判断、自主去游戏官网找的）
7 月 16 日，伯克利博士后 Haven Feng 的一条推文火了。原因无他，结果很震撼：在 ARC-AGI-3 Public 集上，一套名为 [schema] 的智能体框架，与 Claude Opus 4.8、Fable 5 组合后达到 98.98% 的 RHAE；换成 GPT-5.6 Sol 组合，分数也有 95.35%。
这将是一个充满生产力的周末。就在刚刚，Claude 宣布当时时间 7 月 20 日起，Fable 5 继续留在所有 Max 和 Team Premium 套餐里，限额 50%。Pro 和 Team Standard 用户继续用积分访问，另外给用户发 100 美元的一次性积分。
外媒Axios称，K3定价远低于它所挑战的高端模型，美国AI公司的高价策略还能维持多久？巧的是，就在最近，两大巨头正在打客户争夺战。此前，特曼在X上发帖，不提新模型，开头就是一句认错：
今天凌晨看到 Arena AI 更新 Code Arena 榜单时，我第一反应是有点意外。刚刚发布的 Kimi K3 拿到了 1679 分，排在全球第一，压过了 Claude Fable 5 的 1631 分和 GPT-5.6 Sol 的 1618 分。
这个月刚过半，AI圈就已经卷出天际了！
最近两周，因为Claude Fable 5回归、GPT-5.6上线再加上Tibo义父疯狂的重置。