formal-verification

AI

Claude完成费马大定理首个计算机可验证证明

Anthropic的Claude用11天写出1300万行Lean代码,把数学界最大难题之一形式化

作者 김현국/4 小时前