OpenAI-Mathematikdurchbruch verbessert die Sicherheit von Smart Contracts

Der jüngste Mathematikdurchbruch von OpenAI fördert den automatisierten Beweis von Theoremen zur Sicherheit von Smart Contracts. Am 8. September gab das Unternehmen bekannt, dass etwa 10.000 gleichzeitige KI-Agenten das Navier-Stokes-Problem der Fluidbewegung in etwa 88 Stunden gelöst haben, gefolgt von 17 Stunden Formalisierung und Verifizierung mit GPT-6 Astra in Lean, einem Software-Beweisassistenten. Das System produzierte einen analytischen Beweis, der zeigt, dass ein glattes Fluid in endlicher Zeit eine Singularität entwickeln kann, während es eine endliche Energie beibehält, und adressierte die Fälle C und D der Millennium-Preis-Formulierung. OpenAI stellte sowohl den Beweis als auch seine Lean-Formalisation zur unabhängigen Überprüfung zur Verfügung. Für Krypto-Entwickler liegt die unmittelbare Implikation in der formalen Verifizierung, die mathematische Spezifikationen verwendet, um sicherzustellen, dass der Code von Smart Contracts wie beabsichtigt funktioniert. KI könnte diesen Prozess rationalisieren und die Kosten sowie die Arbeitsintensität reduzieren. Der Mathematiker Terence Tao warnte zuvor, dass autonome KI-Systeme komplexe Lösungen generieren und diese ohne öffentliche Einsicht verifizieren könnten, wodurch wertvolle Zwischenentdeckungen verloren gehen könnten. Mit der zunehmenden Automatisierung des Theorembeweises steigt die Bedeutung, genau zu definieren, was Beweise abdecken sollten. Die Dokumentation von Ethereum besagt, dass die formale Verifizierung überprüft, ob ein Vertrag bestimmte Eigenschaften erfüllt, aber schlecht geschriebene Spezifikationen können zu unentdeckten Schwachstellen führen. Verbesserte KI-Systeme könnten den Aufwand für Beweise verringern und gleichzeitig die Notwendigkeit präziser Spezifikationen betonen. Dieser Wandel könnte die Wirtschaftlichkeit der formalen Verifizierung in DeFi-Protokollen und tokenisierten Vermögenswertplattformen transformieren, wo manuelle Bemühungen die Bereitstellung eingeschränkt haben. Die Herausforderung bleibt, forschungsfähige Systeme für Produktionssoftware anzupassen, um eine sinnvolle Überprüfung von Beweisen durch Entwickler und Prüfer zu ermöglichen.

Dieser Inhalt wird nur zu allgemeinen Informationszwecken bereitgestellt und stellt keine finanzielle, Anlage-, Rechts- oder Steuerberatung dar. Alle erwähnten Ereignisse, Prämien, Online-Aktionen oder zugehörige Informationen sollten nicht als Empfehlung, Aufforderung oder Einladung zum Kauf, Verkauf, Handel oder anderweitigem Umgang mit Krypto-Assets betrachtet werden. Krypto-Assets sind sehr volatil und können zu Verlusten führen. Die Verfügbarkeit von WEEX Services, Produkten und zugehörigen Aktionen kann je nach Region unterschiedlich sein. Sie sind dafür verantwortlich sicherzustellen, dass Ihre Teilnahme mit geltenden lokalen Gesetzen und Vorschriften übereinstimmt.