deepseek学术水平比豆包高很多。检查简单的形式化证明毫无压力，而且能探讨一点有深度的问题。豆包只会机械重复「命题即类型程序即证明」。 _新浪新闻

概念机器

26-01-22 10:28

deepseek学术水平比豆包高很多。检查简单的形式化证明毫无压力，而且能探讨一点有深度的问题。豆包只会机械重复「命题即类型程序即证明」。

发布于上海