OpenAI’s Unreleased Model Generated 722 Math Manuscripts — Here’s Why Verification Is the Real Story
Reading Time: 5 minutesOpenAI’s unreleased frontier model generated 722 math manuscripts across 372 result families from 4,000 open problems — a scale that shifts the key bottleneck from generation to verification. The real question now is how many of these candidate proofs survive independent expert scrutiny, and how quickly the mathematics community can absorb machine-generated research.