因果スミスはリーンで因果推論証明を自動化します

スタンフォード大学のAIラボは、2026-10-14に理論的因果推論研究を自動化するために設計されたエージェントフレームワーク「CausalSmith」を発表しました。

このフレームワークは、証明を検証するためにLeanを使用し、正式な声明が論文の主張と一致しているかを確認する監査ステップも組み込んでいると、スタンフォード大学のAIラボの発表で述べられています。