AI · Research · 2026-10-27 00:51
An open letter calls on OpenAI to immediately release the natural-language and Lean formal outputs of its claimed proof concerning Yang–Mills theory, quantum chromodynamics, and the completeness of the Standard Model, so the mathematics community can verify the work and advance related research.
Auto-generated summary for reference only. RSS