OpenAI’s Math: Fast Generation, Slow Verification
OpenAI’s math release shows how AI can generate research quickly—and why proving the results correct, original, and faithfully formalized remains the harder task.
OpenAI’s math release shows how AI can generate research quickly—and why proving the results correct, original, and faithfully formalized remains the harder task.
Anthropic's Claude Fable 5.1 spent 44 minutes on a cryptogram that had defeated cryptographers since 1653, finding the key hidden inside the book itself.
