Im Quellenvergleich
Worin die Quellen übereinstimmen
25 Träger der Fields-Medaille warnen in einer gemeinsamen Erklärung vor einer schwerwiegenden Fehlausrichtung zwischen den Zielen der KI-Industrie und den Bedürfnissen der Mathematik. Die Erklärung wurde am 11. September veröffentlicht und steht auf mathandai.org zur weiteren Unterzeichnung offen. Die Unterzeichner kritisieren, dass KI-Firmen berühmte mathematische Probleme vor allem als Benchmark nutzen, um ihre Modelle zu demonstrieren. Für die Mathematik zähle nicht das Produzieren wahrer oder falscher Aussagen, sondern konzeptionelles Verständnis. Beweise entfalteten ihren Wert erst durch Vorträge, Diskussionen und Vereinfachungen; dieser Prozess gerate unter Druck. Die Unterzeichner kritisieren übereilte Ankündigungen ohne korrekte Zitierung früherer Arbeiten, was Fragen zu Urheberschaft und Plagiaten aufwerfe. Sie lehnen KI nicht grundsätzlich ab und räumen ihr Potenzial ein. Ob sie dem Fach nütze, hänge von den Entscheidungen der Menschen ab, die die Technologie kontrollieren.
Worin sie sich unterscheidenKonkrete Beispiele für KI-gestützte mathematische Durchbrüche·Vorwurf des Datenmissbrauchs durch OpenAI·Breitere gesellschaftliche Dimension der KI-Bedrohung
Konkrete Beispiele für KI-gestützte mathematische Durchbrüche- Ein 60 Jahre altes Erdős-Problem wurde von einem 23-Jährigen per Prompt mit GPT-5.4 Pro gelöst; die Rohausgabe sei laut dem Mathematiker Jared Lichtman ziemlich schlecht gewesen.1
- Anthropic habe mit dem Beweisassistenten Lean Fermats letzten Satz in 13 Millionen Zeilen Code formal verifiziert, was laut den Beteiligten keine neue Mathematik hervorbrachte, sondern der Formalisierung diente.1
- Bei einem internen OpenAI-Modell, das eine 80 Jahre alte Annahme zum planar unit distance-Problem widerlegte, hätten Prüfer auf Ideen anderer Autoren verwiesen.1
Vorwurf des Datenmissbrauchs durch OpenAI- Andreas Thom von der TU Dresden vermutet, unveröffentlichte Inhalte aus seinen ChatGPT-Unterhaltungen könnten ins Training von OpenAI-Modellen eingeflossen sein.1
- Hintergrund ist ein Streit zwischen zwei Mathematikern und OpenAI: OpenAI habe von Gerüchten über eine Teillösung eines Millennium-Problems erfahren und dann versucht, es schneller selbst zu lösen.2
- Chefforscher Pachocki sagte bei der Ankündigung von Astra, man habe das Modell gezielt nicht auf Mathematik optimiert; kurz darauf trainierte OpenAI offenbar doch Mathematik-Modelle.2
Breitere gesellschaftliche Dimension der KI-Bedrohung- Die Unterzeichner sehen in dem Streit ein Symptom einer breiteren Bedrohung intellektueller Berufe, in denen jahrelanges Training auch Verständnis und die Fähigkeit zu neuen Fragen vermittle.2
- In der Bildung zeige sich die Kluft: Hausaufgaben ließen sich automatisieren, in Prüfungen bleibe KI verboten.2