← 返回每日热点
BiFish original · 2026-10-07

OpenAI又‘屠榜’数学了,这次连数学家们都坐不住了

数学界的新玩家 三个月前,我还在跟朋友聊,OpenAI 发布个新模型,大家兴奋点都在 AGI 和编程助手上。没想到,三个月后,它直接一脚油门,把车开进了人类智识最古老、最精纯的领域——纯数学。

01

数学界的新玩家


三个月前,我还在跟朋友聊,OpenAI 发布个新模型,大家兴奋点都在 AGI 和编程助手上。没想到,三个月后,它直接一脚油门,把车开进了人类智识最古老、最精纯的领域——纯数学。这次不是小打小闹,而是带着 722 份手稿,宣布攻破了数百个悬而未决的数学难题。这动静,足以让整个数学界和 AI 圈同时抖三抖。

这不再是AI“做题”,而是AI“出题”并“解题”,开始直接参与到人类知识前沿的构建中。

数字很吓人:722 份手稿,覆盖 372 个“结果家族”,其中包含对“数百个”未解决问题的解答。什么概念呢?一个成熟的数学家,穷其一生能在某个细分方向上取得几个重要突破已属不易。而一个未发布的模型,在一次集中发布中,给出了这么庞大的结果清单。这效率对比,说实话,有点让人脊背发凉。

但这里有一个关键细节:OpenAI 自己说,这是一次“延续”。上一轮类似的事发生在几个月前,当时就引发了争议和震撼。而这次,他们吸取了教训,拉上了新成立的独立咨询小组 AGMAI(数学与人工智能咨询小组),试图让发布的流程看起来更“正规”。他们把成果放在 GitHub 上,承诺会优化引用和展示形式。你看,姿态变了,从“我要颠覆你”变成了“我们一起来建设”,但骨子里的进攻性,一点没少。

02

谁兴奋,谁头疼?


放在这整个 AI 行业竞赛的大棋盘上看,OpenAI 这一手,下得非常聪明。当大家都在卷模型参数、卷多模态、卷应用落地的时候,它选择了数学这个“皇冠”。为什么?因为数学是硬通货,是纯逻辑,是最无可辩驳的能力证明。攻破数学难题,比写一首好诗或画一幅画,更能给模型的能力盖上“权威认证”的戳。

那么,谁最需要这样的“数学超人”?

1第一类是数学研究者本身。尤其是那些在某个难题上卡了数年甚至数十年的研究者。AI 提供的可能是一个全新的解题思路、一个意想不到的中间引理,甚至是直接答案。它就像一个永远不知疲倦、知识渊博的博士后,能帮你快速试错和验证。对于推动数学边界,这无疑是巨大的加速器。

2第二类是教育工作者和顶尖学生。想象一下,未来的数学课堂,可以基于这些被AI解决的、人类尚未完全理解的难题来设计。它变成了一个强大的“思维陪练”和“答案生成器”,能瞬间给出多种解题路径。

3第三类,是像OpenAI这样的AI公司自己。这是最好的“实力广告”,比任何宣传都管用。它能吸引最顶尖的数学和AI人才加入,也能巩固其在“通往AGI之路”上的领导者形象。

那谁不需要,或者说,谁会感到“头疼”?

最直接的是那些研究风格依赖于缓慢积累、精巧构思,而非大规模探索的数学家。当AI能以“算力堆砌”的方式快速产出大量“正确”结果时,传统数学研究中那种“灵光一现”的浪漫,其价值是否会被稀释?更现实的问题是学术伦理:这些成果算谁的?如何引用一个不发表论文的“模型”?当企业把数学成果当作营销手段,是否会污染学术纯粹性?AGMAI的呼吁正中此痛点,但企业的商业本能和学术的理想主义,这场博弈才刚刚开始。

这本质上是一场效率对传统的冲击。AI带来的不是取代,而是研究范式的剧烈重构,数学家们需要找到自己与AI共生的新位置。

03

普通人该关心吗?


当然要关心。你可能觉得黎曼猜想之类的离你太远,但AI解决数学难题的能力,最终会“下沉”到你的生活里。最直接的例子是密码学。今天保障你网银、隐私安全的很多加密算法,其安全性就建立在某些数学难题(如大数分解)难以被经典计算机破解的假设上。虽然当前AI解的是纯数学题,离破解现代密码还很远,但这种能力的突破方向,是一盏必须时刻关注的警示灯。

另一个场景是AI本身的进化。数学是逻辑的基石,是代码的底层语言。一个能精通数学的AI,其推理能力、逻辑严谨性和处理复杂抽象符号的能力,必然远超当前的模型。这意味着,未来你遇到的AI助手,可能在帮你规划旅行、写邮件的同时,还能严谨地帮你分析一份复杂的合同条款漏洞,或者优化你投资组合里的一个算法模型。它的“思考”会更像一个严谨的专家,而不是一个充满“幻觉”的聊天伙伴。

对于从业者,尤其是程序员和产品经理,这也是一个信号:纯粹的、低创造性的编码和数据分析工作,被AI替代的速度会越来越快。你的核心竞争力,需要向更高层的系统设计、创造性问题定义和跨领域理解转移。AI正在攀登智力高峰,而我们要确保自己不在山脚下徘徊。

04

竞赛,还是合作?


OpenAI不是一个人在战斗。Google DeepMind用AI发现了更快的矩阵乘法算法,Meta AI的模型在数学奥赛题上表现惊人。这是一场全球顶级实验室在数学智能高地上的“军备竞赛”。OpenAI的优势在于其强大的品牌号召力和将学术成果“事件化”的营销能力,这次与AGMAI的合作,就是在试图制定对自己有利的“游戏规则”。

但数学研究有其悠久的传统和社群规则。如果各大公司都像开发布会一样“刷”数学论文,只会造成信息过载和信任危机。AGMAI的成立是一个好的开始,但它的建议有多少能被企业真正采纳,还得打个问号。理想的状况是形成一种“竞赛式合作”:公司在竞争中推动技术极限,同时共同遵守学术社区的伦理规范,共同投入资源理解和消化这些由AI产生的海量新知识。

毕竟,数学是所有人的。它的发展,最终应该惠及整个人类认知的边疆,而不仅仅是成为几家科技公司估值报告上的一个亮点。这次发布,与其说是OpenAI的胜利,不如说是它向全人类抛出了一个巨大而复杂的问题:当机器开始大规模生产深刻的数学真理时,我们,以及延续了数千年的数学这门学科,该如何自处?

好了不吹了,我得去review我那几行Python代码了,看看有没有被AI优化掉的风险...

本文基于 media 公开报道编译解读

本文基于 media 公开报道编译解读,查看原文

公开来源
  1. OpenAI 发布又一批 AI 数学研究成果,攻破数百个悬而未决难题