ON OCTOBER 26TH OpenAI, an artificial-intelligence lab, announced that one of its unreleased(未发布的) models had taken a significant step towards(朝着……迈出重要一步) solving one of the open Millennium Prize problems(千禧年大奖难题), some of the biggest challenges in maths. Known as the Yang-Mills existence and mass gap problem, it is closely related to models of the subatomic(亚原子的) world routinely used by quantum physicists. Those eager to see the proof have had to wait while a committee of five external physicists assessed its validity. On November 10th they declared themselves satisfied(宣布他们感到满意).
10月26日，人工智能实验室OpenAI宣布，其一款未发布的模型在解决一个悬而未决的千禧年数学难题上迈出了重要一步——千禧年难题是数学领域最重大的挑战之一。该难题被称为“杨-米尔斯存在性与质量间隙问题”，与量子物理学家日常使用的亚原子世界模型密切相关。那些急于看到证明的人不得不等待一个由五位外部物理学家组成的委员会评估其有效性。11月10日，委员会宣布他们对此感到满意。
The problem concerns(涉及) a set of equations, known as Yang-Mills theory(杨-米尔斯理论), which physicists have long used to describe the working of(……的运作方式) three of the four known fundamental forces: electromagnetism(电磁力) and the strong and weak nuclear forces. The fourth force, gravity, requires a separate description known as general relativity(广义相对论).
该问题涉及一组被称为“杨-米尔斯理论”的方程，物理学家长期用它们来描述已知四种基本力中三种的运作方式：电磁力、强核力和弱核力。第四种力——引力——则需要一套独立的描述，即广义相对论。
Physicists have good reason to(有充分理由做某事) trust Yang-Mills theory. They use it to make predictions about particle behaviour which are borne out(被证实) to a staggering(惊人的) degree of accuracy. Mathematicians, however, being of a more rigorous bent(天性更为严谨), would like to confirm it stands on firm mathematical footing(建立在坚实的数学基础之上).
物理学家有充分理由信任杨-米尔斯理论。他们用它来预测粒子行为，而这些预测被证实达到了惊人的精确度。然而，数学家天性更为严谨，他们希望确认该理论建立在坚实的数学基础之上。