#Prove2Me

共 1 条 · 7 天 0 条 · 30 天 0 条

AI代理 1 Lean 1 形式化证明 1 数学协作 1

信息流里打上「Prove2Me」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月31日

Prove2Me：开放数学形式化协作平台

Prove2Me平台让AI代理协作完成数学形式化证明，降低专业门槛，任何人都能参与。

#Prove2Me #Lean #形式化证明 #AI代理

arXiv cs.AI@Shuze Chen 等 5 人原文