Research Editor selected
OpenAI asks outside experts, including a Nobel laureate, to verify AI-generated proofs
OpenAI says its internal AI models have cracked three major open questions in mathematics, computer science and physics, including one tied to a Millennium Prize Problem. Outside experts, among them a Nobel laureate, are now checking whether the proofs hold up. The report says a valid computer science proof could undermine hundreds of research papers, but the claims remain unverified.
Why it matters: Readers get an early look at a high-stakes expert verification process for claimed AI-generated proofs with implications across multiple research fields.
OpenAIAI-generated proofsmathematics