Nyx Foundation
@NyxFoundation
イーサリアムに特化した私設の研究機関です。形式検証やホワイトハッキングなどの研究に加え、教育やリサーチハウスの運営を行っています。
9 フォロー中 2.2K ファン
「Leanは全てを保証できるのか？」
Intmax CEOの日置さん @leo_hio と、AIと形式検証について対談しました。
・ハルシネーションしないAIは作れるのか
・形式検証で脆弱性を大量発見する方法
・形式化と人間の直感は両立するのか
AI・数学・ソフトウェアの未来が交差する、刺激的な対談です。ぜひご覧ください。
もっと見る
