OpenAI asks outside experts to check AI-produced math, computer science, and physics proofs
AIOpenAI says its AI produced proofs in math, computer science, and physics, and asked outside experts to act as shepherds to check them. The computer science result claims the Exponential Time Hypothesis is false, which would undermine hundreds of papers built on it.
AIWhy it matters.
The article explains why verifying AI-produced proofs needs expert review, showing how Lean checks logic but not whether a statement captures the intended problem.
Loading source posts…
Source details
The Decoder · Maximilian Schreiner · the-decoder.comPublished · added here
Original title: OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics