“Proof by intimidation”: AI confidently solves “impossible” math problems. But can it convince the world’s best mathematicians?

A secret meeting in 2025 brought together some of the world’s leading mathematicians to test OpenAI’s latest major language model, o4-mini.

The experts at the meeting were amazed at how much the model’s answers sounded like those of a real mathematician when it provided a complex proof.