Model
COPRA
Meta开发的AI数学证明项目，探索用大语言模型自动生成形式化证明脚本并结合形式化验证系统进行验证
Timeline (last 90 days)
Sep 19
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证
Unverified50%
Meta开发的AI数学证明项目，探索用大语言模型自动生成形式化证明脚本并结合形式化验证系统进行验证
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证