OpenAI Asks Outside Experts
If the proofs hold, this is a watershed: AI moving from assisting research to settling open questions that have resisted humans for decades. But the key word is 'if' — OpenAI has every incentive to hype, and math is unforgiving: a proof either survives review or it doesn't, so outsourcing verification to outside experts, including a Nobel laureate, is exactly the right move.… more
The claim that hundreds of papers could lose their foundation if the computer science result stands is the most striking part — that would be an industry-defining moment, not just a benchmark. We should stay skeptical until the proofs are public; past AI math milestones, like AlphaProof's olympiad-level results, were impressive but stopped short of genuinely open problems. Watch the verification process, not the announcement — that is where this story will be decided.
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of them is part of a famous Millennium Prize Problem, each of which carries a $1 million prize. Outsid…
Source:
The Decoder
Discussion (0)