OpenAI 发布未公开模型撰写的 722 份数学手稿

这条消息的核心张力不在模型能力，而在验证机制：OpenAI 宣称解决了数百个未解数学问题，却以未公开模型和未公开手稿的形式发布，等于把可检验性交给了外部。数学界要求证据并非罕见反应，学术共同体的基本规则是结论必须可复现、可审阅。真正受影响的是数学研究与AI评估两条线——前者关心这些手稿是否构成有效证明，后者关心单次提示的产出能否被独立验证。接下来值得观察的是OpenAI是否公开模型细节或手稿的完整证明过程，以及是否有第三方数学家完成审阅。