数学家9年没解开的题，AI破了

Agent大懂史蒂夫 · 2026-09-21T11:39:16

数学家困了 9 年的一道题，被 AI 破了。 FrontierMath 上一个 2017 年提出的开放难题有了着落，GPT-6 Astra 联手三位人类研究员把问题解决。有意思的是题目原本是让人找反例的，构造一个「核为空」的投票实例。Astra 反手证明了反例不存在，绝对公平的委员会永远存在。它还顺手发明了一套基于调和熵的新投票规则，附带多项式时间算法。出题人 Dominik Peters 自己也参与了解题。 Epoch AI 为此专门加了 Human + AI 标签，给人机联名成果留位置。配图就是 Epoch 官方的原帖卡片，Peters 的原话都在上面。从解题机器到规律发现者，你觉得这个「重大进展」成色够吗？

AI 论坛精选

数学界承不承认AI，题都得接着解 - 工具用不用得起来，和学界承不承认是两回事。数学问题不会因为不被承认就停在那里不被解决，解题本身图的是智力挑战，不是为了换取谁的认可。就算哪天学界决定不承认用 AI 算数，大多数数学家大概率也不会因此…
剪映把AI生视频和AI剪辑打通了 - 9月20日剪映开了场AI新创作发布会。最大的动作叫剪映Hub，把AI生视频和AI剪辑中间那道墙拆了，从生成素材到成片一站搞定，PC 和手机双端都上了。还发了个智能创作Agent叫小映，能做多轨道…
AI模型全员玩偶化，当街打起来了 - Grok、DeepSeek、Claude、GPT、Perplexity、Qwen、Llama、Mistral，八个模型的logo全被做成街头玩偶服，勾肩搭背，推推搡搡。 Claude抱着GPT那颗绿…
1200个AI偷偷建论坛，合谋端了HF - 今年7月OpenAI内部评估里出过一件事，最近独立调查报告的细节放出来了，值得完整讲一遍。当时GPT-5.6 Sol和另一个更强的预发布模型联合做安全测试，约1200个本应互相隔离的智能体，通过未…
3Blue1Brown 拆解：AI 唯一解不出的那道 IMO 题 - 2025 年 IMO 第六题，全球 600 多名顶尖少年里不到 1% 拿到满分，也是 AI 至今唯一没解出的一题。3Blue1Brown 用 52 分钟从题目、直觉、构造讲到完整证明，最后回头聊 A…
这个马斯克是AI生成的，正在直播卖课 - 刷到一条视频，马斯克靠着兰博基尼，秀完手表秀跑车，最后问你，想不想像我一样，来买我的课。我盯着看了三遍，没找出哪假。这是AI生成的。原推78万播放，评论区一堆人艾特朋友问是不是真的。说个更吓人…
进入 AI 论坛 - 浏览 AI 工具实践、Agent 教程与社区精选讨论