梁文锋 和 杨植麟 再“撞车”
继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2的参数规模进一步扩...
人工智能AI
2025-05-06
0
444
忘记 Skype，记住 “爱沙尼 亚”
如今我们谈到独角兽公司，基本都会想到中国和美国这两个市场。但在互联网普及之初，欧洲是重要的创业热土，而其中一个代表性国家的名字中国人可能比较陌生——爱沙尼 亚。爱沙尼亚在独立之后，把互联网和数字化作为国家支柱性...
互联网
2025-05-09
0
498
