梁文鋒 和 楊植麟 再“撞車”
繼2月論文“撞車”之后，梁文鋒和楊植麟又在另一個大模型賽道上相遇了。4月30日，DeepSeek上線新模型DeepSeek-Prover-V2，這是一個數學定理證明專用模型。Prover-V2的參數規模進一步擴...
人工智能AI
2025-05-06
0
446
Kimi 官宣，國內首個對標 OpenAI 的數學模型來了
一年前的11月16日，Kimi全面開放，隨后憑借“長文本”功能迅速占領市場，成為中國首個因技術創新而廣受歡迎的AI應用。如今，Kimi迎來了技術的重大升級。11月16日，在Kimi正式上線一周年之際，月之暗面發...
人工智能AI
2024-11-18
0
731
