Nyx Foundation(@NyxFoundation):「Leanは全てを保証できるのか？」 Intmax CEOの日置さん @leo_hio と、AIと形式検証について対談しました。・ハルシネーションしないAIは作れるのか・形式検証で脆弱性を大量発見する方法・形式化と人間の直感は両立するのか AI・数学・ソフトウェアの未来が交差する、刺激的な対談です。ぜひご覧ください。

Nyx Foundation

@NyxFoundation

イーサリアムに特化した私設の研究機関です。形式検証やホワイトハッキングなどの研究に加え、教育やリサーチハウスの運営を行っています。

加入 April 2025

9 正在關注 2.2K 粉絲

Nyx Foundation@NyxFoundation

2026.07.21 07:20

「Leanは全てを保証できるのか？」 Intmax CEOの日置さん @leo_hio と、AIと形式検証について対談しました。・ハルシネーションしないAIは作れるのか・形式検証で脆弱性を大量発見する方法・形式化と人間の直感は両立するのか AI・数学・ソフトウェアの未来が交差する、刺激的な対談です。ぜひご覧ください。