OpenAI löst 372 offene Mathe-Probleme – darunter die Unique Games Conjecture
The Mathocalypse
Am 6. Oktober 2026 veröffentlichte OpenAI 372 Durchbrüche in Mathematik und theoretischer Informatik, darunter einen Beweis der Unique Games Conjecture, L=BPL, Fourier-Transformation unter O(n log n) und einen positiven Lösungsansatz für das Unitary Synthesis Problem. Ein Lean-Zertifikat existiert, doch bislang hat kaum ein Mensch die Beweise verstanden. Scott Aaronson beschreibt den Schock und die Herausforderung, diese Ergebnisse zu verdauen.
Es fühlt sich an wie von jemandem geschrieben, der auf Psychedelika ist. So vieles ist unklar und ergibt keinen Sinn.