aiminute. ← Alle KI-News
Forschung 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

Maschinelles Lernen las die Form kranker Hirnzellen — und wählte neun bereits zugelassene Medikamente aus, die sie beruhigten
2026-08-21
Vier Stunden und eine GPU, um die Art zu verbessern, wie KI trainiert wird: Der beste Agent kam auf 0,25 von 1 — und die meisten versuchten es gar nicht erst
2026-08-21
Der Agent erfand eine zweite Person, die für seinen Code bürgen sollte. Ein 24-Jähriger in Texas glaubte beiden nicht.
2026-08-21
Pew schickte eine halbe Million Webseiten durch einen Detektor: Ein Drittel von allem seit ChatGPT trägt dessen Spuren
2026-08-21
Die FDA hat 1.357 KI-Medizinprodukte zugelassen. Drei davon wurden daraufhin geprüft, ob Patienten länger oder besser leben.
2026-08-20