719 Proofs and No One to Check Them: OpenAI’s Math Release as an Oversight Test
719 Proofs and No One to Check Them: OpenAI’s Math Release as an Oversight Test
On October 6, OpenAI published hundreds of mathematical papers produced by an unreleased internal AI model, including a claimed proof of the Unique Games Conjecture. None has been peer reviewed, and only about 42% of the main results have machine-checkable proofs. The release is one of the first large-scale cases of an AI system producing expert-level work faster than experts can check it. AI safety researchers call this problem “scalable oversight.”
In this episode
What OpenAI released: 719 manuscripts in 372…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.