Wain
AI/Tech Blog
世界のAIニュースブログ
ニュース
AI用語集
ツール
モデル比較
ガイド
分析
トピック
すべての記事
検索
タグ: formal-verification
関連タグ
すべて
Anthropic
Claude
Lean
mathematics
AI-agent
Anthropic
Sep 5, 2026
6分
Anthropic、フェルマーの最終定理のLean形式化をClaudeが11日で完了と発表
