OpenAI's 722 Maths Papers Are a Wake-Up Call, Not a Triumph

OpenAI publishing 722 AI-written mathematics papers in a day is the kind of headline that makes people either cheer or panic, and both reactions miss the point.

The useful part: many proofs ship with Lean versions a computer can check line by line. That's real, and it's a step toward maths you can verify without a committee.

The uncomfortable part: the volume itself was called a 'slopocalypse' by mathematicians who objected to the process, not the results. None of it solved a Millennium Prize problem.

The lesson for the rest of us: AI can now produce expert-level work faster than we can check it. The bottleneck was never generation. It was verification, and it still is.

Celebrate the capability, but build the checking. A world that can't verify what it generates is a world that ships confident nonsense at scale.