Mathematik und KI: "Die mathematische Fachwelt ist in Aufruhr"

Es war ein Schock für viele Mathematiker: OpenAI hat vergangene Woche bekannt gegeben, dass eines seiner Modelle eine Lösung für das Navier-Stokes-Problem gefunden hat, eines der zentralen Rätsel der Mathematik. Der Mathematiker und Philosoph Jeremy Avigad forscht dazu, was Erfolge wie dieser für die Zukunft der Mathematik bedeuten. Die Kunsthistorikerin Tanya Klowden hat zusammen mit dem Fields-Medaillen-Träger Terence Tao einen Essay zur Rolle menschlichen Denkens in der Mathematik veröffentlicht.

DIE ZEIT: Der Mathematiker Tristan Buckmaster fühlt sich vom Erfolg von OpenAI an das Jahr 1997 erinnert, als der IBM-Schachcomputer Deep Blue den Schachweltmeister Garri Kasparow besiegte. Erlebt die Mathematik gerade einen solchen Deep-Blue-Moment?