梁文鋒 和 楊植麟 再“撞車” 繼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