Artificial Intelligence
OpenAI's Math Retractions Expose the Verification Bottleneck
OpenAI had to pull three AI math papers within 24 hours, proving that producing reasoning is cheap while rigorous verification remains the real bottleneck.
Topic
Formal Verification
A collection of essays to explore, one idea at a time.