OpenAI 的 Astra 模型刚刚做了一件让全球数学家集体瞳孔地震的事——一口气破解了十道尘封十年以上的数学难题。其中最炸裂的一项：它直接找到了推翻"所有可数群都是索菲克群"猜想的反例，一个数学家们从1999年就开始摸索却始终无法攻克的命题。
这不是普通的刷榜。索菲克性猜想在群论中的地位，约等于物理学里"光速不可超越"——它是数学界默认的基本假设。现在 OpenAI 用 Astra 模型一个反例就把它掀翻了。紧随其后的是高维球体堆积、量子博弈论等问题的解答，全部来自同一个模型。
马斯克直接在社交媒体上开麦：这就是人类到达"技术奇点"的证据。此言不算夸张——仅仅在7月，Anthropic 的 Claude Fable 5 才刚刚拿下了存在近百年的雅可比猜想反例。短短两个月，AI 在纯数学领域接连收割了两个"百年难题"，数学家们已经开始认真讨论"人类数学研究的尽头在哪"这个灵魂拷问了。
但也有清醒的声音。剑桥数学家富尔尼尔-法西奥直言，OpenAI 的解答严重依赖2016年和2019年的两项人类研究成果，"没有前人进展，AI 不可能成功"。这揭示了一个尴尬的真相：AI 目前更擅长"找到人类遗漏的答案"，而非"独立提出新理论"。但对于那些花整个博士生涯研究一个问题的人来说，这个区别已经不重要了。
AI 生成 . DeepSeek | 搜索综合