OpenAI的700篇数学手稿，学界不买账
10月13日，OpenAI发布700多篇数学手稿，声称模型能解决上百个数学难题。学界反应很冷淡——手稿公开没有经过同行评审，也没有给出可复现的验证路径。

AI公司发布“成果”的节奏越来越快，数学界验证的速度远远跟不上。一个模型声称解决了某个猜想，是解决了整个证明，还是只做了一步启发式搜索？这种模糊，在商业宣传里可以糊弄过去，在数学领域不行。

OpenAI最近在产品线上的动作也很多——Astra因为安全标准不达标推迟发布，GPT-6.1 Sol以Astra五分之一的价格上线。能力最强的模型捂着不放，能赚钱的模型赶紧卖。数学手稿在这个时候放出来，更像是一次品牌形象的补救。
大厂 大模型