Was OpenAI Astras 10 mathematische Ergebnisse wirklich beweisen: Eine kritische Analyse 27. September 2026
Sam Altman gießt als OpenAI eine Lösung für ein 90-jähriges Mathematikproblem löst 10.000 AI-Agenten 16. September 2026
Claude formalisiert Fermats Letzten Satz in 11 Tagen — erster vollständiger maschinenverifizierter Beweis mit 13 Mio. Zeilen Lean 7. September 2026
OpenAI formalisiert Primzahl-Lücken bis 186 in Lean und markiert drei unbewiesene Eingaben als Axiome 2. September 2026
Palomar-Register offen: 9 Wissenschaftsbeirat, 3 automatische Prüfungen, 2 unabhängige Kerne 19. August 2026
KI-Digest
DI · 27. Oktober 2026
KI-Digest
DI · 27. Oktober 2026
