OpenAI just scooped human researchers on a million-dollar quantum math problem

OpenAI's proprietary large language model (LLM) has produced a formal proof validating the "quantum chromodynamics" that underpins physicists' best description of the universe, a result mathematicians have been chasing for decades. This breakthrough also surpasses the work of two human mathematicians, one employed by OpenAI's rival Anthropic, Levent Alpöge and Ethan Sussman from Northwestern University, who had publicly disclosed their progress on their own independent proof.

Both groups were pursuing the Yang-Mills problem, which concerns the math underlying modern physics, with the goal of putting quantum field theory on a solid mathematical footing. The problem has two parts: proving the theory is mathematically consistent and proving it has a nonzero quantity called a "mass gap," which has important physical consequences.

Sussman expressed disappointment in not being able to beat OpenAI's result, stating that his and Alpöge's team were only a few weeks away from completion when OpenAI announced theirs. Michael R. Douglas, a theoretical physicist and AI advocate at Harvard University, described the achievement as a major advance and a hopeful sign for rapid progress in the field.