The announcements concern harmonic analysis, a claimed disproof of the Exponential Time Hypothesis in computing, and the existence of certain quantum field theories. Mathematics and computing materials are public; OpenAI says a group of scientists is working to explain the physics materials.
AGMAI argues that examination should be open to everyone without privileged access. The announcements do not establish scientific consensus. The claimed Lean formal verification concerns encoded statements; it does not replace assessment of their significance. The claimed Yang–Mills existence result alone does not settle the full Millennium Prize problem, which also requires a mass gap.