AI in math is going exponential: a working mathematician's view

⚠️ Charla en inglés / Talk in English

On 20 May 2026, OpenAI announced that an unreleased internal model had disproved an 80-year-old Erdős conjecture, the unit-distance problem, using algebraic number theory from outside the field. This open problem was very well known in the field and the standing belief said the conjecture was true; the model showed otherwise. Tim Gowers and eight other leading mathematicians verified it.

How did we get here so quickly, what does it actually mean for mathematical research, and how seriously should we take where the curve points next?

In this talk, Ondřej Kubů (mathematical physicist at ICMAT-CSIC, PauseAI CZ volunteer) will walk us through the Erdős result, situates it in four years of using AI in his own research math, and places it on the METR autonomy curve.

Open to all backgrounds.