以David Gross为首的物理学家验证OpenAI由AI生成的量子杨-米尔斯理论存在性证明

为何重要

杨-米尔斯问题是克雷研究所五个尚未解决的千禧年大奖难题之一，每题奖金100万美元，分为两部分：证明该理论存在，以及证明质量间隙。OpenAI在10月下旬宣称解决了存在性部分，但没有立即公开证明，而是交由一个“牧羊人”委员会把关。委员会表示，他们借助OpenAI的Astra模型消化Lean代码，目前尚未完全理解该证明。纽约大学数学家Scott Armstrong等人批评这种把关方式。接下来值得关注对Lean代码的独立核查，以及质量间隙方面的任何进展。