archive · today in ai · 2026-07-26

Tao's ICM talk: AI already proves math

Archive item — written before sources were shown.

Terence Tao's ICM 2026 lecture cites a May test where four AI systems solved 7 of 10 novel research-level math problems at publication quality.

By Rami Steitieh Sunday, 26 July · 20:50 UTC Read 1 min · 1 source

Fields Medalist Terence Tao gave a public lecture at the International Congress of Mathematicians on July 24 titled “Mathematics in the Age of AI.” His slides cite the “First Proof” project, a May 28 test of four AI harnesses against ten novel, research-level math problems: at least one team produced a publication-quality solution for seven of the ten.

sources

01Mathematics in the age of AI (ICM 2026 slides)teorth.github.io · primary, Terence Tao's own slides

Rami Steitieh

Builder and operator. Runs 17 content sites and Trilot LLC on the tools reviewed here.

About Rami How we verify Email