LLM・生成 AI・クラウドの動向を解説するメディアです。
その他／解説
LeanでAIの数学証明を検査する仕組みと限界を解説。命題と公理の監査、保存済み証明の再検査、外部検査器を使う追加確認と提供条件を整理します。
10.108分Xで共有Threadsで共有
