ヴィタリック氏、安全なAIコード開発を提唱
The Crypto Timesによると、Ethereum共同創設者ヴィタリック・ブテリン氏は、重要ソフトウェア開発における「Vibe-Coding」の活用を支持した。Lean定理証明系などの形式検証ツールを用いることで、AI支援コードでも数学的に正確性を保証できると説明している。zkEVM関連プロジェクトなどを例に、安全性と効率性の両立が可能だと強調した。
The Crypto Timesによると、Ethereum共同創設者ヴィタリック・ブテリン氏は、重要ソフトウェア開発における「Vibe-Coding」の活用を支持した。Lean定理証明系などの形式検証ツールを用いることで、AI支援コードでも数学的に正確性を保証できると説明している。zkEVM関連プロジェクトなどを例に、安全性と効率性の両立が可能だと強調した。