KI SpotlightNewsGowers verweigert Unterstützung für Fields-Erklärung zu KI
Fields-Medaillist ordnet KI-Fortschritt als unvermeidlich ein und warnt vor Verlust der mathematischen Gemeinschaft
Mit KI erstellt◆ Fakten auf einen Blick
- Timothy Gowers hat es abgelehnt, eine aktuelle Erklärung führender Mathematiker zu KI im Theorembeweisen zu unterstützen.
- Gowers legt eine strukturierte Perspektive vor, wie die akademische Gemeinschaft mit dem KI-bedingten Wandel umgehen sollte.
- 25 Fields-Medaillenträger, darunter Terence Tao, haben eine gemeinsame Erklärung mit dem Titel 'A Severe Misalignment of AI in Mathematics' auf mathandai.org veröffentlicht.
- Die Erklärung kritisiert den Benchmark-getriebenen Ansatz von KI-Unternehmen und nennt die Ziele von KI-Unternehmen und Mathematikergemeinschaft weitgehend unvereinbar.
- OpenAI hatte kurz zuvor ein Lean-verifiziertes Ergebnis zu einem Spezialfall der Navier-Stokes-Gleichungen bekannt gegeben, was als Auslöser der Erklärung gilt.
- OpenAI hat ein 1-Millionen-Dollar-Sponsoring für eine studentische KI-Mathematik-Veranstaltung am Caltech zurückgezogen; Mathematiker hatten zuvor in einem offenen Brief die Absage gefordert.
Timothy Gowers hat die Erklärung „A Severe Misalignment of AI in Mathematics“ nicht unterzeichnet. Stattdessen ordnet er den Fortschritt beim automatischen Beweisen als unvermeidlich ein, weil KI-Modelle bereits auf menschengemachten Grundlagen aufbauen und sich Publikations- und Verifikationsnormen rasch anpassen werden. Kontrollierbar sei dieser Fortschritt durch fachliche Spezialisierung und aktive wissenschaftliche Auseinandersetzung: Die erwartete Flut automatisierter Resultate lasse sich so bewältigen. Zitier- und Zuordnungsfragen hält Gowers für vorübergehende administrative Hürden, nicht für strukturelle Bedrohungen. Als gewichtigeres Risiko nennt er den möglichen Verlust der Gemeinschaft, die Mathematik versteht, lehrt und wertschätzt. Die Fields-Erklärung kritisiert dagegen, dass KI-Unternehmen Mathematik als benchmarkgetrieben behandelten und Ergebnisse ohne hinreichende Formalisierung verkündeten; ihre Ziele seien mit denen der Mathematikergemeinschaft „largely incompatible“ und bedrohten intellektuelle Arbeit. Die Autoren sehen darin die Gefahr unüberprüfter Resultate und fehlender Nachvollziehbarkeit, weil das Lösen von Problemen als bloßes Mittel zum theoretischen Verständnis Zeit und menschliche Interaktion benötige und die Forschungsqualität leide, wenn diese Prozesse übergangen werden.
