TUESDAY OCTOBER 6th 2026may go down as(被载入史册，被记为) one of the most consequential(意义重大的) days in the history of mathematics. That was when OpenAI, an American artificial-intelligence firm, announced that its AI agents, powered by an unreleased model, had solved at least 372 long-standing mathematical problems in a matter of weeks. The findings, detailed in over 700 AI-generated papers, represent research at an unprecedented(前所未有的) scale and speed.
2026年10月6日星期二，或许会成为数学史上最具深远影响的日子之一。就在这一天，美国人工智能公司 OpenAI 宣布，其由一款尚未发布的模型驱动的 AI 智能体，在短短数周内解决了至少 372 个长期悬而未决的数学问题。这些成果详述于 700 多篇由 AI 生成的论文中，代表着前所未有的研究规模与速度。
Such a glut(过量，供过于求) has left some queasy(不安的，反胃的). The excitement of potential new mathematical truths is, for many researchers, freighted(充满（某种情绪）的) with concern for the future of their field. Unless more care is taken, they say, the mass production(批量生产) of mathematics will lead to more solutions but less understanding.
如此大量的成果让一些人感到不安。对许多研究者而言，潜在的新数学真理带来的兴奋，夹杂着对本领域未来的担忧。他们说，除非更加审慎，否则数学的批量生产将带来更多解答，却更少理解。
AI‘s progress in mathematics has advanced rapidly. Just last month OpenAI claimed that the same internal model had solved the Navier-Stokes problem(纳维-斯托克斯方程问题，千禧年大奖难题之一)—one of the landmark(里程碑式的，标志性的) Millennium Prize problems—in just 88 hours. Now hundreds of other significant puzzles have been cracked. They cover the entire mathematical corpus(全集，语料库), from algebra and geometry to probability and logic, including many which have stump(难住，使困惑)ed experts for decades. The average computing power required for the autonomous mathematicians to arrive at a solution was equivalent to only about three hours of reasoning with models that the firm makes publicly available.(这些自主数学家得出一个解平均所需的算力，仅相当于用该公司公开模型推理约三个小时。)
AI 在数学领域的进展突飞猛进。就在上个月，OpenAI 还宣称同一内部模型仅用 88 小时就解决了纳维-斯托克斯方程——千禧年大奖难题中的一座里程碑。如今，又有数百个重要难题被攻克。它们覆盖了整个数学版图，从代数、几何到概率论和逻辑学，其中许多难题已困扰专家数十年。这些自主“数学家”得出一个解平均所需的算力，仅相当于用该公司公开模型推理约三个小时。