#数学协作

1 stories · 0 in 7 days · 0 in 30 days

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

Stories, products and papers tagged "数学协作", newest first.

Aug 31

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

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

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

arXiv cs.AI@Shuze Chen et al. (5)Source