OpenAIs maschinengeprüfter Beweis passt nicht zum gedruckten.
Drei Mathematiker legten am Dienstag eine Arbeit zum angekündigten Navier-Stokes-Ergebnis von OpenAI vor. Der maschinell geprüfte Lean-Beweis entspreche nicht dem geschriebenen Beweis für den Zusammenbruch der Strömung. Eine treue Übersetzung nach Lean sei zudem schwerer als jedes berechenbare Problem.
Warum es wichtig istDie Lean-Prüfung war die Antwort der Branche darauf, wer die Mathematik der Maschinen kontrolliert. Stimmt das Geprüfte nicht mit dem Behaupteten, trägt diese Antwort nicht mehr.
▶ Passendes Video: Did AI Really Solve Navier–Stokes? Show Me The Proof!
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
Nvidia fand, dass ein Trainingsschritt nur 1% des Modells ändert.2026-10-07OpenAI holte 722 Mathe-Aufsätze aus einer einzigen Anweisung.
2026-10-07Die Erdős-Problemseite nimmt keine Beweise mehr an.
2026-10-07Zwanzig Versuche kosteten den besten Agenten ein Drittel der Punkte.
2026-10-06Ein Modell lernte ohne das Verfahren, das jede KI trainiert.
2026-10-06