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.

Haftungsausschluss: Dieser Inhalt wird nur zu allgemeinen Marketing- und Informationszwecken bereitgestellt und stellt keine finanzielle, Anlage-, Rechts- oder Steuerberatung dar. Alle Events, 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 oder zur Nutzung von Services betrachtet werden. Krypto-Assets sind sehr volatil und können zu Verlusten führen. WEEX Services und Online-Aktionen sind möglicherweise nicht in allen Regionen verfügbar und unterliegen geltenden Gesetzen, Vorschriften und Berechtigungsanforderungen. Sie sind dafür verantwortlich sicherzustellen, dass Ihre Nutzung von WEEX Services mit lokalen Gesetzen übereinstimmt, und sorgfältig die Risiken vor der Teilnahme an Krypto-bezogenen Aktivitäten zu bewerten.