10月7日消息，OpenAI毫无预警在GitHub上线math项目，一次性公开722篇AI生成数学手稿，覆盖372个悬而未决的顶级数学难题家族，在全球数学、AI领域引发巨大震动。
这批成果来自OpenAI尚未发布的内部前沿模型，单份证明平均仅消耗约3小时ChatGPT Pro级别算力。其中最重磅成果为准黎曼猜想的突破，证明狄利克雷L函数在实部大于7/8区域不存在零点，消除困扰学界多年的朗道-西格尔零点，同时附带Lean形式化验证；此外还在霍奇猜想、马勒猜想、NP-Hard理论等千禧年难题方向取得关键进展。
奥特曼发文表示，人类正进入全新的科学发现时代。但发布方式引发学术界争议：本次成果没有经过传统同行评审，打破数学界长期学术规范。早在8月OpenAI曾召集40位顶尖数学家闭门研讨AI冲击，学者曾建议遵循学术流程发表，给学界留出验证消化时间。
学者担忧，AI可以快速产出数学证明，人类传统数学研究范式面临重构。但也有人认为，AI并非取代数学家，而是成为全新科研工具，帮助人类探索真理。

#OpenAI #AI #数学 #大模型 #科技资讯 #AI搞学习howto #大模型