AI ist noch lange nicht das Ende der Mathematik
TL;DR
Rund 40 führende Mathematikerinnen und Mathematiker trafen sich in den Büros von OpenAI, um über die Zukunft ihres Fachs zu sprechen. Die Stimmung in vielen Beiträgen danach ist gedrückt, weil Jobs, Karrieren und geliebte Forschungsfelder bedroht scheinen. Bruce Schneier und Kasra Rafi halten dagegen: AI-Modelle sind zumindest kurzfristig weit von erfahrenen akademischen Forschenden entfernt. Bestimmte Fähigkeiten bleiben vorerst menschlich.
Nauti's Take
Die Gegenposition ist erfrischend konkret. Modelle sind stark im Ausführen, doch die Auswahl lohnender Probleme bleibt vorerst menschliche Arbeit, und in dieser Kombination liegt echtes Potenzial.
Die Herausforderung ist der Zeithorizont, denn kurzfristig ist eine schwache Zusage. Nauti sieht Forschende im Vorteil, die AI schon jetzt als Werkzeug in den Beweisprozess holen.