人工智能在计算机编程领域的突破，早期便展示了当模型在某个专业领域的能力足够强大时，专家将不再将其视为新奇事物。
AI's conquest of computer programming offered an early demonstration of what happens when models become good enough at a specialized field that experts can no longer treat them as a novelty.
- 数学似乎将是下一个领域。
• Mathematics appears to be next. Why it matters
为何重要 OpenAI最新的数学成果——包括发布数百个由一个强大但尚未公开的新模型生成的新证明——表明，人工智能令人震惊的进步很可能将继续拓展到全新的领域。
OpenAI's latest mathematical results — which involved releasing hundreds of new proofs generated by a powerful, unreleased model — demonstrate that the startling advances of AI are likely to continue moving across entirely new fields.
快速了解周二，OpenAI发布了722篇手稿，这些手稿被整理为372个关于长期未解数学问题的研究组（“家族”），并邀请学术界和研究人员对这些内容进行评估与拓展。
Catch up quick OpenAI on Tuesday released 722 manuscripts organized into 372 groups of findings (" families ") on longstanding mathematical problems, inviting academics and researchers to examine and build on the material.
- 这一成果在科学界引发了混合的反应：既有兴奋，也有真正的担忧。一位来自拉特格斯大学的数学家在X上表示，如果这一成果与黎曼猜想相关，且由人类完成，那么其成果将足以自动获得菲尔兹奖。
• The reception has mixed scientific excitement with genuine unease. One Rutgers University mathematician said on X that a result connected to the Riemann hypothesis would warrant an automatic Fields Medal if a human had done the work.
- 一些数学家对这些成果以及OpenAI上个月发布的另一项解决方案提出了质疑，询问这些成果究竟是原创性突破，还是大量借鉴了人类此前的输入。
• Some mathematicians have questioned these results, as well as another solution OpenAI released last month, asking whether they represent original breakthroughs or draw heavily from previous human input.
- 另一些人则低估了人工智能生成数学的价值。著名计算机科学家兼物理学家斯蒂芬·沃尔夫拉姆多年来一直密切关注人工智能，他在周二为美国国家数学博物馆举办的一场活动上表示：“发现新的数学内容其实很容易。你可以轻松生成一万亿个定理。问题在于，其中大多数定理根本不会有人在意。”
• Others downplayed the utility of AI-generated math. "You can discover new math easily," Stephen Wolfram, a renowned computer scientist and physicist who has followed AI closely for years, said at a Tuesday event for the National Museum of Mathematics. "You can make a trillion theorems easily. The problem is most of those theorems are not ones that anybody will care about."
深入分析与计算机编程一样，数学为人工智能提供了一种尤为宝贵的能力：判断自身是否正确的方法。
Zoom in Like computer programming, mathematics gives AI something unusually valuable: a way to tell when it is right.
- 数学家可以仔细审查证明过程，而且如今这些证明越来越多地被转化为计算机可以逐行验证的形式化语言。同样，我们也能立即判断人工智能自主编写的代码是否确实有效。
• A proof can be scrutinized by mathematicians and, increasingly, translated into formal languages that computers can verify line by line. Similarly, it is immediately possible to know whether autonomously written AI code actually works.
大局观：软件工程师们已经经历了这一转变过程。
The big picture: Software engineers have already lived through this transition.
- AI编程工具已从自动补全和调试，发展到能够编写大量软件并执行复杂工程任务的智能体。
• AI coding tools progressed from autocomplete and debugging to agents capable of writing substantial amounts of software and carrying out complex engineering tasks.
- 这一转变不仅改变了代码的编写方式，也重新定义了“程序员”的含义，让许多从业多年的软件工程师既感到惊叹与震撼，也心生忧虑。
• The shift has changed not only how code gets written, but what it means to be a programmer, bringing a fair dose of awe, amazement and dread to many lifelong software engineers.
- 正如曾经的软件工程师一样，数学家们也开始思考OpenAI部分研究成果对研究生工作以及新一代理论人才培养可能带来的影响。
• Much as software engineers did before them, mathematicians have begun to question the implications of some of the OpenAI discoveries on graduate work, and on training a new generation of theorists.
是的，但一些软件工程师已经成功厘清了人类在创造高质量产品过程中仍扮演的角色。尽管新的AI编程工具极大地提升了单个工程师能够交付的代码量，但人类在构建高质量软件方面仍然发挥着关键作用。
Yes, but Some software engineers have successfully mapped out the roles humans still play in generating quality products. While new AI coding tools have dramatically increased the code one engineer can ship, humans still play a crucial role in building quality software.
- 数学家们也开始呼应这一观点，指出他们领域中最有意义的突破，往往涉及构建框架或为复杂概念建立结构。许多人对任何AI系统能否真正复制人类的创造力持怀疑态度。
• Mathematicians have begun to echo that point, noting that the most meaningful advances in their field often involve building a framework or bringing structure to a complex idea. Many are skeptical about whether any AI system will be able to replicate human originality.
言外之意除了数学领域，这些研究结果也表明，AI带来的颠覆性影响很可能持续蔓延至更多新领域，这在一定程度上回应了AI怀疑论者长期以来的疑问。
Between the lines Beyond mathematics, the results do point to the likelihood that AI disruption will continue moving into new areas, partially answering a longstanding question from AI skeptics.
- 尽管竞争对手初创公司的研究人员因OpenAI数学研究成果的实际应用有限而质疑其价值，但也有人承认，这些成果证明了AI技术的快速进步。
• While researchers at rival startups questioned the utility of OpenAI's mathematical findings because of limited practical applications, some acknowledged that they provide evidence of AI's rapid advances.