AI Agent搞定世纪首次菲尔兹奖成果形式化!一周时间独立完成,20万行代码已公开

历史上最大规模的单一目的Lean形式化项目

AI Agent搞定世纪首次菲尔兹奖成果形式化!一周时间独立完成,20万行代码已公开
历史上最大规模的单一目的Lean形式化项目