梁文锋和杨植麟再“撞车”

以下文章来源于中国企业家杂志 ，作者闫俊文 中国企业家杂志 . 讲好企业家故事，弘扬企业家精神 被追赶和超越，是创业者常面对的挑战。 来源：中国企业家杂志 记者：闫俊文 编辑：张晓迪 继2月论文"撞车"之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的 7B规模增加了近百倍，这让其在数学测试集上的效率和正确率更高，比如，该模型的miniF2F 测试通过率达到88.9%，它还解决了PutnamBench（普特南测试）的49道题。 对于梁文锋而言，在R1模型推出三个多月后，外界对DeepSeek"魔法"的痴迷程度正在下降， 阿里巴巴的开源模型正在迅速赶上以及超过DeepSeek，外界热切期待其发布R2或V4模型， 以加强领先优势。 对于杨植麟和月之暗面，Kimi正在遭受来自字节跳动的豆包和腾讯元宝的挑战，它也需要保持 持续创新。 01 编程与数学，实现AGI的两条路径 对于AGI的实现路径，2024年，Dee ...