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. Die Erklärung nennt zwei Hauptgefahren: KI-Modelle produzierten „plausible, aber unzuverlässige oder sogar falsche Argumente“, die von korrekten Beweisen schwer zu unterscheiden seien. Zudem bestehe die Gefahr, dass falsche KI-generierte Ergebnisse die wissenschaftliche Literatur verunreinigen und Folgefehler verursachen. Der Fields-Medaillen-Gewinner Tim Gowers nannte die Lösung laut OpenAI einen Meilenstein der KI-Mathematik. Der Professor Daniel Litt schrieb, es sei das erste KI-Ergebnis, das ihn für sich genommen begeistere.
Aktualisierungen
06.07.2026
Die Erklärung nennt zwei Hauptgefahren: KI-Modelle produzierten „plausible, aber unzuverlässige oder sogar falsche Argumente“, die von korrekten Beweisen schwer zu unterscheiden seien.
Zudem bestehe die Gefahr, dass falsche KI-generierte Ergebnisse die wissenschaftliche Literatur verunreinigen und Folgefehler verursachen.
Der Fields-Medaillen-Gewinner Tim Gowers nannte die Lösung laut OpenAI einen Meilenstein der KI-Mathematik.
Der Professor Daniel Litt schrieb, es sei das erste KI-Ergebnis, das ihn für sich genommen begeistere.
Worin sie sich unterscheidenBewertung der KI-Leistung·Reaktion der Mathematiker auf das KI-Ergebnis
Bewertung der KI-Leistung- 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
- Die Zukunft liegt in einer Ergänzung: KI kennt mehr frühere Arbeiten als jeder Mensch und arbeitet geduldig erfolglose Beweisstrategien ab. Menschen denken tiefer über ein Problem nach und stellen interessantere Fragen.1
Reaktion der Mathematiker auf das KI-Ergebnis- Die Leidener Erklärung warnt vor KI-Bedrohungen für den Berufsstand und reagiert unter anderem auf das OpenAI-Ergebnis.1
- Die Erklärung nennt zwei Hauptgefahren: KI-Modelle produzierten plausible, aber unzuverlässige oder falsche Argumente, die von korrekten Beweisen schwer zu unterscheiden seien. Das setze Gutachter unter Druck und gefährde traditionelle Standards.1
- Zudem bestehe die Gefahr, dass falsche KI-generierte Ergebnisse die wissenschaftliche Literatur verunreinigen und Folgefehler verursachen. Besonders betroffen seien Studierende und Nachwuchswissenschaftler.1