100多个数学难题，被大模型一个月内破解了！OpenAI打算和数学家坐下来谈谈

OpenAI把数学猜想当Benchmark（基准）刷，8月28日开始训练的一个内部新模型至今解决了数学领域100多个长期未解的开放问题。为了让数学家拥有发言权，9月22日，OpenAI宣布成立由9位数学家组成的独立咨询小组合作。

OpenAI在社交媒体上表示，正与一个由数学家组成的独立咨询小组合作，帮助OpenAI负责任地分享AI与数学领域的进展，让数学家处于核心位置。该小组将围绕评估和传播新的数学成果、维护学术与专业标准、构建支持数学研究与学习的工具提供建议。

OpenAI解决的100多个数学问题中，就包括了10000个AI智能体88小时攻克困扰人类近一个世纪的纳维-斯托克斯问题（Navier-Stokes problem）。OpenAI表示，AI在数学上的进展速度令公司内部数学家感到惊讶。这促使OpenAI展开内部讨论，应以何种最佳方式告知学界这一快速进展，让数学界做好准备并适应变化。

“数学是一门基础科学，新发现可能带来广泛的应用。这些能力的潜力重大，负责任发展与部署的意义也超出数学本身。”OpenAI表示，正在研究以负责任的方式更广泛地部署与数学相关的AI能力。同时与数学家合作，成立独立数学咨询小组，作为数学界与公众之间的桥梁，让数学家拥有发言权。“我们希望把有能力的工具交到数学家手中，让他们能够探索自己最了解的问题，并提出新想法。”

该小组将独立于OpenAI运作，有权提出OpenAI未要求的建议、评论OpenAI对数学的影响并公开其建议。其价值取决于成员能否运用自身判断并挑战OpenAI的判断。成员不从OpenAI领取报酬，小组可自行决定更换成员。针对OpenAI内部的数学进展节奏，小组不负责提供建议。“与该小组合作只是第一步。未来的难题还包括AI如何支持数学理解、这些能力的益处如何惠及更广泛群体。我们希望数学家处于核心位置，共同塑造答案。”

今年8月以来，OpenAI、Anthropic等顶级AI企业凭借先进的大模型以及海量算力在前沿数学领域接连取得多项成果。Anthropic的Fable模型仅用11天就完成了费马大定理的完整形式化证明。OpenAI的GPT-6 Astra模型在有界素数间隔问题上取得新突破，将上界从246降至186。

9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联名发布公开声明称，AI企业将攻克数学难题作为大模型性能基准的做法，对数学科学本身乃至整个数学界都造成了损害。数学家们在声明中写道，在许多领域和活动中，多年的训练不仅是为了得到最终答案或产品，更是为了培养理解力以及提出新问题和新想法的能力。