这两天 X 上一条帖子把不少人看愣了。有网友转述称,OpenAI 放话说,自家一个新的内部模型,在开始训练仅仅 24 天后,就已经解决了数学大部分领域中 100 多个长期悬而未决的开放问题(open problems)。
更耐人寻味的是,按这条说法,这个速度连 OpenAI 自己的数学家都被惊到了。
同时提到的还有另一件事:OpenAI 正在和一个由数学家组成的独立顾问小组合作,名单里出现了 Edward Witten、Timothy Gowers、Martin Hairer 等人。这个小组的作用,是帮 OpenAI 更负责任地对外分享 AI 与数学方面的进展——具体包括就如何评估和传达新的数学成果、如何维护学术与专业标准,以及如何构建支持数学研究和学习的工具,给出建议。
发帖人本人的第一反应就四个字:搞什么鬼。AI