OpenAI Astra连破数学难题，菲尔兹奖得主：AI不是更聪明，而是输得起
2026年8月1日，OpenAI通过内部版模型Astra一次性发布十项数学与理论计算机科学成果，宣称其中每一项都解决了一个长期悬而未决的问题或取得实质性进展。8月19日，OpenAI再次宣布Astra推导出10道人类长期悬而未决的数学难题。短短数周，Astra连番出手，让全球数学家经历了一场“深蓝时刻”。
菲尔兹奖得主Timothy Gowers最初听闻Astra解决了埃尔德什平面单位距离猜想时，以为AI给出了证明，甚至花了一整晚调整世界观。当他知道只是推翻了猜想时，反而“松了一口气”。他在8月12日的博客中写道：AI不是比人聪明，而是输得起。
Gowers指出，反例和定理并非两种能力，区别只在于难点落在哪。AI的优势在于可以不断试错，而不必像人类那样受制于时间和资源。他列举了数学家找例子的八种常见方法，认为AI在其中四种上会很强，如翻现成例子、随机抽取等；但在需要中途判断“值不值得继续”的另三种方法上很弱，因为模型缺乏“剪枝”的嗅觉。
有趣的是，Astra的成果也能激发人类研究。8月3日，剑桥学者Fournier-Facio利用Astra的方法构造了无挠的非sofic群；8月11日，Raphael Steiner将多色Ramsey数的递归构造推广到所有固定奇圈。Gowers认为，这说明Astra给出的是一套能生长的方法。
Gowers还建议，训练模型时不能只奖励结果，也要惩罚钻死胡同和直接抄答案。陶哲轩则吐槽AI生成的证明缺乏“自然摩擦力”，让读者无法感知难点。在Gowers看来，真正跨过门槛的标志，是像2016年cap-set问题那样，让一群人立刻改变工作方向。目前，Astra的成果固然惊人，但离这一步还有距离。
- 2026-08-21 06:50 | 新浪：AI逼得美国数学家宣布退出数学学术界：不再是寻求答案，而是去验证答案阅读原文
8月初，顶尖数学家齐聚旧金山OpenAI的办公室，探讨一个关乎生存的问题：如果人工智能很快将人类数学专家全部甩在身后，那么人类数学专家还能做什么呢？ 多伦多大学数学教授丹尼尔·利特在题为“数学的终结”的演讲中说：“我认为我们最终可能会进入一个没有高质量数学研究、人类数学专业知识完全丧失的世界。” 数学家宣布退出数学学术界：不再寻求答案，转而验证答案 在纽约大学阿布扎比分校完成博士后研究的数学家里希凯什·加贾拉近期宣布退出数学界。他在社交媒体上写道：“对我而言，数学的意义从来不在于答案本身，而在于答案出现之前数月甚至数年的探索：那些死胡同，那些漫长而艰辛的寻找，直到隐藏的结构最终显露...
- 2026-08-21 06:02 | user.guancha.cn：AI逼得美国数学家宣布退出数学学术界阅读原文
2026年08月21日 14:02 新浪网 8月初，顶尖数学家齐聚旧金山OpenAI的办公室，探讨一个关乎生存的问题：如果人工智能很快将人类数学专家全部甩在身后，那么人类数学专家还能做什么呢？ 多伦多大学数学教授丹尼尔·利特在题为“数学的终结”的演讲中说：“我认为我们最终可能会进入一个没有高质量数学研究、人类数学专业知识完全丧失的世界。” 数学家宣布退出数学学术界：不再寻求答案，转而验证答案 在纽约大学阿布扎比分校完成博士后研究的数学家里希凯什·加贾拉近期宣布退出数学界。他在社交媒体上写道：“对我而言，数学的意义从来不在于答案本身，而在于答案出现之前数月甚至数年的探索：那些死胡同，那些...
- 2026-08-19 07:21 | 36氪：对话前DeepMind曹原：AI for Science爆发，一个新时代到来了阅读原文
8月第一周，谷歌灵魂人物Jeff Dean宣布离职，带着其它几位高管出走成立Discovery Loop公司，致力于加速生命科学及其他行业的研究进程。 在硅谷，这标志着，AI for Science这个赛道，开始爆发。 就在众多数学家、物理学家、生物学家加入OpenAI和Anthropic等顶尖AI实验室之际，AI正在改变人类研发科学的范式。OpenAI宣布模型Astra推导出了10道人类长期悬而未决的数学难题，Anthropic未发布科研版Claude将黎曼猜想的相关零点下界从41.6%推进至67.2%，同时，AI在生物制药、材料、物理等领域都在迅速将科学前沿快速推进。 而...
- 2026-08-18 01:43 | 36氪：AI不是比人聪明，是输得起，菲尔兹奖得主点破OpenAI十项成果阅读原文
AI解决了数学界一个悬了80年的老问题：埃尔德什平面单位距离猜想。 5月的一个下午，这个消息第一次传到Timothy Gowers耳中时，他以为AI给出的是一个证明。 如果这是真的，「数学家可能很快就要出局了。」 他花了整整一晚上，重新调整自己的世界观。 第二天早上，一封澄清邮件到了：AI不是证明了这个猜想，是推翻了它。 Gowers反倒「松了一口气」。 为什么AI找到了一个反例，比它证出了一个定理，更让Gowers觉得安心？ 8月12日，他的一篇博客给出了答案。 一切要从8月1日说起。 那天，OpenAI一口气甩出十项数学与理论计算机科学成果。 ...