首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
V2EX
›
程序员
Deepseek 发布新模型
johnsmith2077
·
2025 年 4 月 30 日
· 1621 次点击
这是一个创建于 270 天前的主题，其中的信息可能已经有所发展或是发生改变。
DeepSeek-Prover-V2-671B
数学证明
定理验证
1 条回复
1
coolfan
2025 年 4 月 30 日
做题家？
关于
·
帮助文档
·
自助推广系统
·
博客
·
API
·
FAQ
·
Solana
·
5738 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 19ms ·
UTC 03:10
·
PVG 11:10
·
LAX 19:10
·
JFK 22:10
♥ Do have faith in what you're doing.
❯
Select Language