October 27, 2026
OpenAI widerlegt die Exponentialzeithypothese: Verifikation an Urheber übertragen
OpenAITheoretische InformatikFormale VerifikationKomplexitätstheorie
#formale verifikation
6 Artikel · Alle Tags
📡 Events
October 23, 2026
Opus 5.5 generiert 180 Millionen Zeilen formale Beweise für 123 Open-Source-Bibliotheken
Formale VerifikationLLMAnthropicSoftware-Lieferkettensicherheit
October 18, 2026
Lean 4.35 liefert vier verifizierte Kernel aus: Der Beweisprüfer wird selbst bewiesen
LeanFormale VerifikationKI-Code-AuditingCompiler
August 3, 2026
KI widerlegt 90 Jahre altes Mathe-Rätsel: Der Beweisassistent war zuerst defekt
KIMathematikFormale Verifikation
July 22, 2026
KI-Gegenbeispiele in Rekordzeit: Wie eine Maschine drei Jahrzehnte alte Vermutungen widerlegte
KIMathematikLeanFormale Verifikation
July 4, 2026
16 Jahre lang von Hunderten Millionen genutzt, kein Mensch hat es entdeckt – die Mathematik fand es in 20 Schritten
SQLiteTLA+Formale VerifikationWAL