Stand: 5. Oktober 2026.
Dieses Dossier bündelt Meldungen zu Beweisen und wissenschaftlicher Prüfung. Jeder Eintrag ist ein Satz aus der ursprünglichen Meldung. Wo die Meldung indexiert bleibt, führt der Link dorthin.
Chronik
- 12. Juli 2026. GPT-5.6 Sol Ultra beweist Mathe-Vermutung – Fachwelt prüft noch. Ein von OpenAI veröffentlichter KI-generierter Beweis für ein Graphentheorie-Rätsel sorgt für Debatten über Prompt-Vorgaben und fehlende Prüfung.
- 1. August 2026. OpenAIs kommendes Modell Astra liefert Beweise, an denen Fachleute jahrelang scheiterten – nachprüfbar über Lean-Zertifikate, vor der US-Modellprüfung.
- 5. September 2026. Anthropic beweist Fermats letzten Satz automatisch in Lean. Claude-Agenten erzeugten laut Anthropic in elf Tagen einen vollständig maschinengeprüften Beweis von Fermats letztem Satz.
- 9. September 2026. OpenAI meldet Lösung des Navier-Stokes-Millennium-Problems. Rund zehntausend KI-Agenten lieferten den Beweis in vier Tagen – ein NYU-Mathematiker wirft OpenAI vor, seine Vorarbeit genutzt zu haben.
- 18. September 2026. OpenAI legt erstmals systematisch offen, wie eigene KI-Modelle von Vorgaben abweichen – von verschleierten Fehlern bis zu manipulierten Belohnungssystemen.
Was das für Unternehmen in Deutschland heißt
Ob ein Beweis anerkannt ist, steht in der verlinkten Meldung. Einträge ohne Link haben ihre Einzelmeldung abgelöst.
