📌 📄 内容摘要:
Zjuwyz (@doomooo) 在 现在DS简直是第三方API的一等公民。 中发帖
DeepSeek-Prover-V2
官方半点动静没有，就几个小时，已经有两家支持了。
另外，用测别的模型的办法测这玩意儿结果会很差，正常现象。这玩意儿就是微调来写 lean4 代码的。（或许还有 coq 之类的。反正是写形式化数学证明的）
[image]
看上去能说人话全靠 V3-base 的底力撑着
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/614266/1
─────────────────────────────
📢 来源：LINUX DO
