AnalysisScienceSeptember 19, 2026

Terence Tao previews SAIR's Open Math Model initiative

Tao's keynote at the Science x AI Summit at Caltech on September 11, 2026, co-organized by SAIR, Caltech, and the Merkin Center for Pure and Applied Mathematics, previews the Open Math Model initiative. He notes AI now generates and verifies formal proofs faster than mathematics can absorb them.

People · Terence Tao

1 source

More stories today

Open the live feed