AI for Math Initiative

[Administrator]

The inaugural partner institutions are:

Imperial College London

Institute for Advanced Study

Institut des Hautes Études Scientifiques (IHES)

Simons Institute for the Theory of Computing (UC Berkeley)

Tata Institute of Fundamental Research (TIFR)

 

[Administrator]

"Accelerating discovery with the AI for Math Initiative"
The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research.

by Pushmeet Kohli, Eugénie Rives
October 29, 2025