继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2的参数规模进一步扩...

一年前的11月16日，Kimi全面开放，随后凭借“长文本”功能迅速占领市场，成为中国首个因技术创新而广受欢迎的AI应用。如今，Kimi迎来了技术的重大升级。11月16日，在Kimi正式上线一周年之际，月之暗面发...