brief research
Tao's ICM talk: AI already proves math
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.
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 1 cited
1 teorth.github.io Mathematics in the age of AI (ICM 2026 slides)