OpenAI于10月7日在GitHub上发布了722篇由其未公开AI模型生成的数学论文,覆盖约20个数学子领域,被视为AI在基础科学研究中的重要里程碑。这些论文既有对长期未解猜想的证明,也有对既有解释的否定和对复杂问题的范围收窄。其中最受关注的是该模型证明了黎曼猜想相关难题中的“准黎曼猜想”这一关键部分,虽未完全攻克这一150余年历史的数学难题,但意义重大。此外,模型在理论计算机科学领域产出80余篇论文,涉及矩阵乘法速度极限的界定和整数乘法新算法,并在偏微分方程方向贡献了十余项证明,包括De Giorgi猜想的一个版本及与Navier-Stokes方程相关的问题。
OpenAI一个未发布模型被曝一口气解决722篇数学手稿,覆盖372个结果族,引发AI在数学研究领域能力的关注。
📱 每天一份 AI 前沿日报
关注公众号,每天 09:00 推送 · 不错过任何重磅