Im Quellenvergleich
Worin die Quellen übereinstimmen
OpenAI gab im Mai 2026 bekannt, dass ein internes KI-Modell die Erdős-Einheitsdistanz-Vermutung widerlegt hat. Das Problem der diskreten Geometrie hatte Mathematiker 80 Jahre lang beschäftigt. Zwei Wochen später, am 2. Juni 2026, veröffentlichten Mathematiker die „Leidener Erklärung zur Künstlichen Intelligenz und Mathematik“, die vor dem wachsenden Einfluss der Tech-Industrie auf ihr Fach warnt. Die Erklärung entstand nach einer Konferenz an der Universität Leiden und wurde von der Internationalen Mathematischen Union unterstützt. Hunderte Forscher haben sie unterzeichnet.
Worin sie sich unterscheiden
Bewertung der KI-Leistung- Der Fields-Medaillen-Gewinner Tim Gowers nannte die Lösung einen Meilenstein der KI-Mathematik.1
- Der Professor Daniel Litt schrieb, es sei das erste KI-Ergebnis, das ihn für sich genommen begeistere.1
- Die KI wandte vorhandene Ideen aus mehreren Teilgebieten geschickt an, entwickelte aber keine wirklich neuen Techniken.1
- Menschen haben das Ergebnis inzwischen bereinigt und erweitert.1
Reaktion der Mathematiker auf das KI-Ergebnis- Die Leidener Erklärung reagiert unter anderem auf die Präsentation des KI-Modells als Widerleger der 80 Jahre alten geometrischen Vermutung.2
- Die Erklärung nennt zwei Hauptgefahren: KI-Modelle produzierten plausible, aber unzuverlässige oder falsche Argumente, die von korrekten Beweisen schwer zu unterscheiden seien.2
- Das setze Gutachter unter Druck und gefährde traditionelle Standards für Korrektheit und Überprüfbarkeit.2
- Zudem bestehe die Gefahr, dass falsche KI-generierte Ergebnisse die wissenschaftliche Literatur verunreinigen und Folgefehler verursachen.2
- Besonders betroffen seien Studierende und Nachwuchswissenschaftler.2