AI in math is going exponential: a working mathematician's view
Join this event
About this event
⚠️ 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. 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.
Want to find AI jobs?
Join thousands of AI professionals finding their next opportunity