Vitalik Buterin schlägt eine neue Programmiersprache für künstliche Intelligenz vor

Vitalik Buterin, Mitbegründer von Ethereum, hat die Idee zur Entwicklung einer neuen Programmiersprache vorgestellt, die darauf abzielt, die Überprüfung von Ausgaben der künstlichen Intelligenz zu vereinfachen. Diese Sprache kann in formale Beweiswerkzeuge wie Lean oder HOL kompiliert werden. Buterin ist der Meinung, dass mit der zunehmenden Nutzung von KI-Modellen in der Softwareentwicklung diese Werkzeuge in der Lage sind, komplexe mathematische und technische Beweise zu erzeugen, jedoch ist es für Menschen schwierig, diese Ausgaben zu verstehen und zu verifizieren. Er schlägt vor, dass die für Menschen lesbaren Teile von den technischen Details der Beweise getrennt werden sollten. Das Ziel dieser Sprache ist es, die Ausgaben der künstlichen Intelligenz lesbarer zu machen. Buterin erklärt, dass die internen Schritte eines Beweises mathematisch korrekt sein müssen und es nicht notwendig ist, dass Menschen alle lesen. Die Definition von Konzepten und technischen Spezifikationen sollte in einfacher Sprache verfasst werden. Er weist auch darauf hin, dass große Sprachmodelle Beweise erzeugen können, die für Lean verwendbar sind. Dieser Vorschlag kommt zeitgleich mit den Bemühungen von Ethereum-Forschern, eine Version der Ethereum Virtual Machine (EVM) mit formaler Beweisfähigkeit und Zero-Knowledge-Basis zu entwickeln. Buterin ist der Überzeugung, dass die Verwendung von Code mit formalen Beweisen zur Erhöhung der Sicherheit von Blockchain-Software beitragen kann. Er betont jedoch, dass diese Idee noch in der Konzeptphase ist und kein Prototyp veröffentlicht wurde.

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.