OpenAIs Durchbruch in der Mathematik offenbart die nächste Schwachstelle in der Krypto-Sicherheit

OpenAIs neuester mathematischer Durchbruch könnte das automatisierte Beweisen von Theoremen näher an Smart-Contract-Sicherheits-Workflows bringen.

Am 8. Sept. gab das KI-Unternehmen bekannt, dass etwa 10.000 gleichzeitige KI-Agenten nach etwa 88 Stunden eine Lösung für das Navier-Stokes-Problem der Fluidbewegung erstellten. Die Formalisierung und Verifizierung in Lean, einem Software-Beweisassistenten, dauerte unter Verwendung von GPT-6 Astra weitere 17 Stunden.

Das System generierte einen analytischen Beweis, der zeigt, dass ein ursprünglich glattes Fluid in endlicher Zeit eine Singularität entwickeln kann, während es endliche Energie beibehält, wodurch die Fälle C und D der Millennium-Preis-Formulierung etabliert wurden. OpenAI veröffentlichte sowohl den Beweis als auch seine Lean-Formalisierung zur unabhängigen Prüfung.

Für Krypto-Entwickler liegt die unmittelbarere Auswirkung im Prozess. Die formale Verifizierung nutzt mathematische Spezifikationen und das Beweisen von Theoremen, um festzustellen, ob sich der Smart-Contract-Code wie beabsichtigt verhält – ein Bereich, in dem menschliche Anleitung die Verifizierung kostspielig und arbeitsintensiv machen kann.

KI könnte den Sicherheits-Engpass nach vorne verschieben