模型
COPRA
Meta开发的AI数学证明项目，探索用大语言模型自动生成形式化证明脚本并结合形式化验证系统进行验证
时间轴 (近 90 天)
9月19日
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证
待验证50%
Meta开发的AI数学证明项目，探索用大语言模型自动生成形式化证明脚本并结合形式化验证系统进行验证
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证