OpenAI 成立数学顾问团，自家模型已解出 100 多道未解难题

Advisory Group on Mathematics and Artificial Intelligence

OpenAI 在 9 月 21 日宣布成立一个独立的数学顾问小组。起因是他们在 8 月底训练的一个内部模型，不光解决了纳维-斯托克斯千年大奖问题，还顺手解出了超过 100 个数学界长期悬而未决的难题，进展快得连自家数学家都吓了一跳。这个小组由包括 Timothy Gowers、Edward Witten 在内的 9 位数学家组成，挂靠在普林斯顿高等研究...

推荐理由：我会先打个折，正文没披露模型的具体架构、训练成本和验证细节，所以“解出”到底意味着严格证明还是高置信度猜想，现在还不清楚。但 OpenAI 官方宣布成立独立顾问小组，并点名了纳维-斯托克斯和 100 多个开放难题，这本身已经是重大信号。一个内部模型把纯数学推到这种程度，连自家人都吓一跳，说明能力跃升超出了预期。对从业者来说，这比任何 benchmark 刷分都更值得关注，因为它直接打到了人类智识的堡垒区。