Terence Tao, Fields-Medaillenträger und Professor an der UCLA, hält auf dem International Congress of Mathematicians (ICM) 2026 einen Plenarvortrag über den Einfluss von KI auf die Mathematik. Der ICM gilt als das bedeutendste internationale Forum der Mathematik und findet alle vier Jahre statt – ein Plenarvortrag dort ist eine außerordentliche Auszeichnung. In den Slides setzt sich Tao mit der Frage auseinander, wie KI-Werkzeuge — insbesondere Large Language Models und formale Beweisassistenten wie Lean — die Art und Weise verändern, wie Mathematik betrieben, kommuniziert und verifiziert wird. Tao ist kein neutraler Beobachter: Er experimentiert seit Jahren öffentlich mit KI-gestützten Methoden in seiner eigenen Forschung und hat etwa Lean-formalisierungen eigener Ergebnisse vorangetrieben. Die Slides repräsentieren damit sowohl eine persönliche Bilanz als auch eine Community-prägende Einordnung des Status quo. Der Vortrag ist auch deshalb bedeutsam, weil Tao zuvor skeptisch gegenüber übertriebenen KI-Versprechen war und eine differenzierte Position einnimmt, die zwischen produktivem Werkzeugcharakter und den Grenzen aktueller Systeme unterscheidet. Für die formale Verifikations-Community und das wachsende Feld AI-for-Mathematics liefert der ICM-Vortrag damit einen wichtigen Referenzpunkt.