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.