August 3, 2026
KI widerlegt 90 Jahre altes Mathe-Rätsel: Der Beweisassistent war zuerst defekt
KIMathematikFormale Verifikation
#formale verifikation
3 Artikel · Alle Tags
📡 Events
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