数学界正经历一场前所未有的风暴。近日，OpenAI宣布其内部模型成功攻克纳维-斯托克斯方程（NS方程），这一被视为千禧年七大难题之一的流体力学核心问题，在88小时内被约10000个智能体协同破解。研究团队不仅发布了166页的详细论文，还提供了通过Lean形式化验证的代码，引发学界震动。然而，这场突破似乎只是序幕——仅两天后，X平台爆料称OpenAI已接近完成对另一道千禧年难题霍奇猜想的验证，而《纽约时报》的特稿更证实其内部团队在过去五年中针对该问题取得实质性进展，相关成果即将公布。
与此同时，OpenAI与其竞争对手Anthropic的暗中较量进入白热化阶段。据知情人士透露，双方正全力冲刺第三道难题BSD猜想，部分工作已进入验证阶段。若传闻属实，人类将在一个月内见证三道困扰数学界数十年的顶级难题被AI接连攻克。这一系列突破不仅重塑了数学研究的版图，更让通用人工智能（AGI）的演进速度超出预期——从辅助工具到科研协作者，再到直接挑战人类智力巅峰的领域，AI的进化轨迹正以惊人的斜率攀升。
千禧年难题由克雷数学研究所于2000年设立，每道题目悬赏100万美元，涵盖流体力学、拓扑学、数论等六大领域。26年来，仅俄罗斯数学家佩雷尔曼在2003年证明庞加莱猜想并拒绝领奖，其余六道难题长期沉寂。OpenAI的突破打破了这一僵局：其模型通过暴力算力与形式化验证的结合，成功绕过人类数学家依赖的直觉与灵感，在NS方程的求解中展现出压倒性优势。学界普遍认为，这种“暴力破解”模式对霍奇猜想与BSD猜想同样适用——尤其是霍奇猜想，其核心问题在于验证高维空间中拓扑结构与代数方程的对应关系，而AI恰好擅长处理此类需要海量计算与模式识别的任务。
霍奇猜想由英国数学家威廉·霍奇于1950年提出，属于代数几何范畴。它探讨的是高维几何形体（代数簇）的拓扑特征（Hodge类）能否全部由具体的代数多项式方程片段（代数闭链）拼接表达。通俗来说，即高维空间中的每一种自然“纹理”是否都对应一份确切的代数“配方”。尽管四维以下的特殊情形已被证明，但更高维度的领域仍充满未知。学界对该猜想分歧极大：部分学者坚信其成立，另一部分则试图通过构造反例证伪——而后者正是AI最擅长的领域。
另一道被AI盯上的难题BSD猜想，则聚焦于数论核心的椭圆曲线。该猜想由英国数学家布莱恩·贝赫与彼得·斯维讷顿-戴尔于20世纪60年代提出，其核心是建立椭圆曲线有理解数量与相伴L函数解析性质之间的联系。若获证，困扰数学界千余年的“同余数问题”将迎刃而解。现代互联网广泛使用的椭圆曲线密码学（ECC），正是基于对椭圆曲线性质的深刻理解。AI的介入，或将彻底改变这一领域的研究范式。
随着NS方程的破解与霍奇猜想、BSD猜想的推进，千禧年难题的“进度条”被骤然拉满。目前，七道难题中仅剩黎曼假设、P vs NP、杨-米尔斯规范场与质量间隙三道尚未出现突破迹象。而AI的崛起，正在重新定义AGI的边界——从2018年OpenAI在章程中将其定义为“在大多数经济价值工作中超越人类的高度自主系统”，到2024年拆解为五级阶梯（对话、推理、代理、创新、组织），再到如今直接冲击数学最高殿堂，AGI的标尺被技术突破不断抬升。当AI开始系统性地解决人类顶尖学者束手无策的问题时，数学这颗“人类心智的最高结晶”，正逐渐成为检验前沿模型能力的试金石。
