Prover-V2消息汇总帖

by vaxin - opened 4 days ago

vaxin

4 days ago

•

第一条传言消息：Deepseek 刚刚发布了新的开源模型实现数学运算的自动化
大家看到新的补充到这里吧

Upload images, audio, and videos by dragging in the text input, pasting, or clicking here.

Tap or paste here to upload images

Your need to confirm your account before you can post a new comment.

· Sign up or log in to comment