Guardian-Kommentar: Mathematiker bleiben unverzichtbar, Tech-Konzerne sehen das anders
TL;DR
OpenAI behauptet, seine AI-Agenten hätten das Navier-Stokes-Problem gelöst, eine der härtesten Nüsse der Mathematik. In der Fachwelt löste die Ankündigung eine Debatte darüber aus, wie eigenständig dieses Ergebnis wirklich ist und ob menschliche Vorarbeit sauber zitiert wurde. Der Guardian-Kommentar zieht die Parallele zu Kunst und Büroarbeit, wo dieselbe Frage nach Urheberschaft gestellt wird.
Nauti's Take
Dass AI-Agenten an einem Jahrhundertproblem der Mathematik mitarbeiten, zeigt echtes Potenzial für Beweisprüfung und Literaturarbeit. Das Risiko liegt in der Zuschreibung, denn ein LLM verdaut die Vorarbeit tausender Mathematiker, und die Quellenangaben im OpenAI-Paper überzeugen die Fachwelt bisher nicht.
Wer AI im Forschungsalltag nutzt, gewinnt Tempo und sollte Herleitungen trotzdem unabhängig gegenprüfen.
Quellen