AI平均3小时完成一个数学证明，科研进入大通胀时代？

📋总体概括

美东时间10月6日，OpenAI发布由一款未公开内部模型撰写的722篇数学研究手稿，覆盖17个领域、372个成果类别，其中162篇附有主结果的Lean形式化证明，声明成果包括四维Kakeya猜想、唯一游戏猜想等重量级问题。官方称每项成功结果的算力消耗相当于ChatGPT Pro思考3小时。但OpenAI在数学界素有大胆宣称、缺乏透明度的名声，此次一次性抛出如此规模的成果，引发了数学界的广泛质疑与争议。