OpenAI 新模型 24 天解 100 道数学开放题

choblin 这条算最近 AI + 数学赛道最炸的新闻之一：OpenAI 内部一个新模型，训练才 24 天，已经把"长期悬而未决的开放数学问题"解了 100+ 个，连 OpenAI 自己的数学家都被这个进度惊到。

独立评估组已经搭起来了——Edward Witten、Timothy Gowers、Martin Hairer 这三位 Fields / 物理数学顶级学者都在列，负责评审结果、协调怎么对外发布。OpenAI 官方那条引用推文也确认了这件事，说会跟独立顾问组一起"负责任地分享 AI 和数学的进展"。

几个值得注意的细节：

• "24 天"是训练时间，不是上线时间；之前 OpenAI 把这类研究模型命名为"inference-time compute research"，跟面向消费的产品模型不是一条线。
• "100+ 长期开放问题"听上去夸张，但参照系是数学界认为的"开源/可重复/可证"清单，不是 Erdős 那种悬赏百万的顶级猜想。这是关键差别，别混着说。
• Witten / Gowers / Hairer 这种级别的学者愿意挂名评审，本身就是一个信号——这种合作一般会卡预印本、做同行级把关，比 OpenAI 单独发要可信得多。
• 这件事真正的价值不是"100 个答案"，而是模型在形式化证明、Lean / Coq 风格的可验证输出上有了具体进展。如果证明可机检，那 AI 帮数学家写证明就是真的能落到工作流里。

短期别指望普通用户能直接用上这个模型；它的释放节奏会被顾问组按住一段时间，避免"模型说证完了但其实没"这种事故。先关注后续预印本，别被夸张的数字带偏节奏。