Leona 極度妄想（しなさい）
@leo_hio
暗号を微妙に齧ってます。Intmax( @IntmaxIO) 共同創業・主任, seccamp, チューリッヒ大夏期講師 En: @HiokiLeona
参加 March 2011
1.5K フォロー中 15.6K ファン
Lean言語について楽しい話を1時間くらいしました！
「Leanは全てを保証できるのか？」
Intmax CEOの日置さん @leo_hio と、AIと形式検証について対談しました。
・ハルシネーションしないAIは作れるのか
・形式検証で脆弱性を大量発見する方法
・形式化と人間の直感は両立するのか
AI・数学・ソフトウェアの未来が交差する、刺激的な対談です。ぜひご覧ください。
もっと見る
