Terence Tao beschreibt die transformative Rolle von Künstlicher Intelligenz (KI) in der Mathematik und zieht Parallelen zur Automobilisierung von Städten. Er argumentiert, dass KI die Kosten für die Ideenfindung nahezu auf null senkt, jedoch gleichzeitig den Engpass auf die Verifizierung verlagert. Diese Entwicklung ist bemerkenswert und könnte weitreichende Implikationen für verschiedene Disziplinen haben. Relevant ist in diesem Zusammenhang die Notwendigkeit, neue Infrastrukturen zu schaffen, um die durch KI generierten Ideen effektiv zu verarbeiten. Eine abschließende Bewertung ist zum jetzigen Zeitpunkt verfrüht, da die langfristigen Auswirkungen auf die Mathematik und darüber hinaus noch unklar sind. Entscheidend wird sein, wie die wissenschaftliche Gemeinschaft auf diese Herausforderungen reagiert und welche Strategien zur Verifizierung entwickelt werden.