梁文锋和杨植麟再“撞车” 继 2 月论文 " 撞车 " 之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4 月 30 日，DeepSeek 上线新模型 DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2 的参数规模进一步扩展到 671B（6710...
百度转向开源路线，李彦宏“顺势而为” 文 | 唐辰同学百度正在经历一次关乎生死的路线调整。在前一天宣布文心一言上线深度搜索功能，并将全面免费之后，百度在今天（2 月 14 日）再次宣布，将开源下一代文心大模型。根据官方消息，百度将在未来几个月中陆续推出文心大模型 4.5 系列，并于 6 月 30...
