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
