aiminute. ← Alle KI-News
Forschung AI Minute Newsroom 2026-08-08

Mathematiker: OpenAIs KI-geschriebene Beweise stützen sich auf ihre Arbeit — ohne Quellenangabe

Mathematiker: OpenAIs KI-geschriebene Beweise stützen sich auf ihre Arbeit — ohne Quellenangabe

Eine Woche nachdem OpenAI zehn mathematische Ergebnisse seines kommenden Modells Astra vorgestellt hat, sagen mehrere namentlich genannte Mathematiker, die Texte verwendeten veröffentlichte Ideen ohne Zitat. Steven Miller von der Yeshiva University erklärt, das Ergebnis zur Kugelpackung beruhe auf einem Argument aus seiner eigenen Arbeit von 2016; Francesco Fournier-Facio von der University of Cambridge sagt, das gruppentheoretische Ergebnis sei eine elementare Kombination von Arbeiten von Gábor Kun und Andreas Thom aus 2016 und 2019 — präsentiert als neue Entdeckung. OpenAI hat seine ursprüngliche Aussage, an diesen Problemen habe es seit mindestens einem Jahrzehnt keinen Fortschritt gegeben, abgeschwächt. Ein Sprecher sagte, das Unternehmen übernehme die Verantwortung für die Korrektheit der Ergebnisse, halte sich an die Standards menschlicher Mathematiker und werde kleine Aktualisierungen am Papier vornehmen.

Warum es wichtig istDie Beweise wurden in Lean formalisiert, eine Maschine kann also bestätigen, dass jeder Schritt folgt. Was keine Maschine prüft, ist, ob das Ergebnis neu ist — und genau dort setzt der Streit an. Mathematiker hatten davor bereits in der von der Internationalen Mathematischen Union unterstützten Leidener Erklärung gewarnt: KI-Labore sollen Vorarbeiten nennen und Ergebnisse nicht per Pressemitteilung verkünden. Wie das ausgeht, entscheidet mit, was ein KI-Labor künftig Durchbruch nennen darf.
#Wissenschaft & Forschung

✓ Verifiziert · 3 Quellen

WhatsApp X Telegram
In der App lesen — kostenlos, 9 Sprachen

Verwandte Meldungen

Die USA rücken die KI mit 16 Ländern ins Zentrum der Wissenschaft.
2026-10-05
Fünf offene Probleme fielen in einem normalen Chatfenster.
2026-10-05
Rohe Modelle lösten Aufgaben, die ihre geschliffene Fassung verfehlt.
2026-10-04
Alltagsfotos bringen ein Modell im Logiktest auf 70 Prozent.
2026-10-04
Google schickte seine KI-Chips in die Umlaufbahn als Härtetest.
2026-10-03