OpenAI veröffentlicht 719 KI-Beweise – und niemand kann sie prüfen | KI-Woche #3

Über Nacht lädt OpenAI 722 mathematische Arbeiten auf GitHub, geschrieben von einem KI-Modell, das niemand außerhalb nutzen kann. Darunter ein angeblicher Beweis der Unique-Games-Vermutung. Wir erklären, was da veröffentlicht wurde, was ein Lean-Beweis prüft und was nicht, warum die Mathematik gespalten ist, warum sich plötzlich Krypto-Forscher Sorgen machen – und was Softwarefirmen daraus lernen können. Stand der Folge: 14.10.2026. Was sich seitdem geändert hat, ergänzen wir hier. Die KI-Woche der CodeFabrik (Osnabrück): jeden Mittwoch, was in der KI-Welt passiert ist – und was davon für Unternehmen zählt. Hinweis: Sebastian erscheint hier als KI-Avatar mit geklonter Stimme. Recherche und Text sind von uns geprüft. 0:00 722 Arbeiten über Nacht 0:49 Willkommen zur KI-Woche 1:27 Was veröffentlicht wurde 3:04 Unique Games, einfach erklärt 5:07 Was Lean prüft und was nicht 6:40 Die Reaktionen 8:44 Und die Kryptografie? 10:15 Was heißt das für dein Unternehmen? 12:02 Bis nächste Woche Quellen (Stand 14.10.2026; Zitate übersetzt): Die Veröffentlichung OpenAI: openai.com/index/sharing-ai-progress-in-mathematics Repository, Inhalt und Änderungen: github.com/openai/math (README.md, CONTENTS.md, history.md, lean/formalization.yaml) Scientific American: scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock TechCrunch: techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet Unique Games und Lean Scott Aaronson: scottaaronson.blog/?p=10169 Quanta (Wettlauf, Minzer, Braverman): quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007 Quanta (Commelin, AHM): quantamagazine.org/update/167798 Navier-Stokes lost in translation: arxiv.org/abs/2610.08144 Reaktionen Proofs and Prompts: proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions Association for Human Mathematics: ahmath.org/statements Beratungsgruppe AGMAI: agmai.org Deutsche Mathematiker-Vereinigung: idw-online.de/de/attachmentdata123702.pdf Kryptografie Justin Drake: x.com/drakefjustin/status/2107837081313505768 Vitalik Buterin: x.com/VitalikButerin/status/2107976296320106851 Yehuda Lindell: x.com/LindellYehuda/status/2107999859219587309 Matthew Green (via Simon Willison): simonwillison.net/2026/Oct/9/matthew-green NIST Post-Quanten-Standards: nist.gov/news-events/news/2024/08/nist-releases-first-3-finalized-post-quantum-encryption-standards Für Unternehmen AWS Cedar in Lean: arxiv.org/abs/2407.01688 AlphaProof Nexus (Google DeepMind, Science): the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed CodeFabrik GmbH, Osnabrück – code-fabrik.com #KI #Mathematik #OpenAI