OpenAI 攻克黎曼猜想等 90 个数学难题

原标题：[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics

92AI 研判分

核心综述

OpenAI 发布内部 Navier-Stokes 数学模型，宣称解决了包括黎曼猜想在内的前 500 大开放数学问题中的 90 个。该成果被 Anthropic 研究员评价为“百年来数学界最重大时刻”，并伴随博客、代码库及论文同步开源。这一突破标志着 AI 在纯数学推理领域达到全新高度，远超 Mistral 同期发布的 Large 4 模型关注度。

报道全文原始报道全文

为 Mistral 默哀片刻，他们刚刚发布了表现不错的 Large 4 “Le Chonk” 模型，该模型运行在由其近期 D 轮融资资助的全新 3800 GB300 集群上。

然而，他们的风头被 OpenAI 内部 Navier-Stokes 数学模型带来的更多数学成果所掩盖——这些成果以博客文章、代码仓库和推文的形式发布。最有力的赞誉来自 Anthropic 方面与 OpenAI 在 Navier-Stokes 问题上的竞争对手，尽管他与 OpenAI 存在个人恩怨，但直言不讳地表示：“这显然是数学史上最重要的时刻。”

这一评价需要一些限定条件，但大多数专家似乎都认同它解决了数学领域前 500 个开放问题中的许多难题。

特别是结果 003，即准黎曼猜想，其分量介于菲尔兹奖级别成果与“过去 200 年数论领域最大的突破”之间。

最令人惊叹的是实现方式——虽然Navier-Stokes 问题的解决耗时 88 小时并动用了 10,000 个智能体，但这些解决方案平均仅需 3 小时的 ChatGPT Pro。