搜索
OpenAI 发布大量 AI 生成数学成果，含准黎曼猜想相关突破
2 小时前
10月7日，OpenAI在GitHub上意外发布了一个名为openai/math的新仓库，其中包含了内部未公开模型生成的722份数学手稿和372组成果。这些成果广泛覆盖了数论、代数几何等多个数学领域，如果由人工来完成这些论文的上传工作，预计将耗时30年。该模型基于约4000个数学界尚未解决的开放问题，筛选出了这些重要成果。平均每组成果的生成仅需约3小时的ChatGPT Pro级别算力。这些成果中，不乏重大突破，如将准黎曼猜想推进到7/8、将复数域矩阵乘法指数压缩至2.25，以及解决挂谷猜想的四维版本等，这些成果中的任何一项，在过去都足以引起整个数学行业的广泛关注。文章还科普了数学证明的独特之处，以及Lean形式化验证工具在数学研究中的应用。同时，梳理了从早期机器证明到近年来AI逐步涉足前沿数学研究的发展历程。此外，文章还提及了此前25位菲尔兹奖得主联名发表的观点，他们认为AI公司将解题作为模型宣传的标尺，与数学追求人类洞见的本质存在错位，因此呼吁给予学术界更多的消化时间。然而，OpenAI在未回应这些诉求的情况下，直接发布了这批成果，引发了相关交锋。文章通过类比AlphaGo击败人类棋手后，相关认知逐渐成为常识的过往，指出未来各学科将按照“评判器”获取成本的高低，依次迎来发展提速。其中，数学和代码领域将最先迎来爆发，其次是可模拟的领域，而依赖实体实验的硬科学以及与人相关的医学等领域则将最后受益。最终，人类可能会成为科研链条中最慢的一环。最后，文章结合希尔伯特23个问题、哥德尔不完备定理等数学史内容，提出在AI时代，人类仍然保有提问、理解、赋予意义这三项核心价值。
