OpenAI signalisiert Wandel bei Smart-Contract-Verifikation
Die Schlagzeile ist Compute-Skalierung. Die Krypto-Lesart liegt vorgelagert: Wenn automatisiertes Beweisen billiger wird, steigen die Kosten schlecht spezifizierter Verträge. Terence Tao benennt bereits die Lücke, die sich auftut.