OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
decoder ·
OpenAI has enlisted external experts, including a Nobel laureate, to verify proofs generated by its AI models in mathematics, computer science, and physics. In computer science, the AI claims to have disproved the Exponential Time Hypothesis, which would challenge foundational assumptions about problem complexity and potentially impact SAT solvers. A separate mathematical result addresses the local smoothing conjecture for waves in all dimensions, which also implies solutions to the Kakeya and Stein restriction conjectures. In physics, the AI asserts it has proven the mathematical existence of Yang-Mills theory in four dimensions, addressing part of a Millennium Prize Problem but not the associated mass gap. Each field is being reviewed by different groups of specialists, with OpenAI providing raw data and Lean translations to facilitate independent verification. The company emphasizes that it seeks no scientific credit, aiming instead to support rigorous peer review through funding and transparency. This initiative follows previous controversies, prompting OpenAI to adopt a more cautious approach regarding attribution and validation of AI-generated discoveries.
decoder