首頁美團推出 560 億參數的 LongCat，為開源數學推理樹立新標竿
隨著大型語言模型逐步拓展至專業領域，美團推出了一項備受矚目的解決方案，引發了學術界與產業界的廣泛關注。
3月21日，美團正式發布了大規模數學推理模型「LongCat-Flash-Prover」。這個擁有5,677億參數的強大系統，採用先進的MoE（專家混合）架構，並針對處理高度複雜的形式數學證明進行了專門優化。
在評估邏輯推理能力的頂級基準測試中，LongCat-Flash-Prover展現了卓越的表現：
破紀錄表現：在 MiniF2F-Test 測試中取得97.1%的驚人成績，僅需 72 次推理嘗試。
攻克難題：該模型成功解決了 PutnamBench 資料集中的 41.5% 挑戰題。這兩項成果均創下了全球最先進水準（SOTA）的新紀錄。
為了讓大型模型具備數學家的精準度，美團實施了多項關鍵技術創新：
減少幻覺：引入基於抽象語法樹（AST）的多階段驗證流程，並整合 Lean4 形式語言，有效將 AI 推理中的邏輯錯誤與「幻覺」降至最低。
先進訓練方法：為解決 MoE 模型在長時程任務中常見的不穩定性，美團部署了其專有的 HisPO 演算法。結合定理一致性檢查，此方法可防止強化學習過程中的獎勵駭客行為。
優化架構：該模型總參數達 5,600 億，在維持深度知識庫的同時，MoE 結構確保了高效且靈活的推論能力。
美團已將該模型及其原始碼在 GitHub 和 Hugging Face 上全面開源。
隨著LongCat-Flash-Prover的發布
相關文章
Meta 希望你的下一個智慧裝置搭載 Muse 功能
Meta 的 Muse 是一個處理旅行預訂、表單提交和購物的 AI 助手，已獲得廣泛採用，但一項新舉措可能特別吸引開發者和硬體愛好者。週五，Meta 推出了 Muse Gadgets，這是一個開源專案，使開發者能夠建立與 Muse 整合的定製硬體。Meta 正在釋出開源韌體和 Linux 軟體開發工具包（SDK），以及 starter 專案概念。這些概念包括為 Muse 新增彩色電子墨水顯示屏，或將軟體嵌入 HDMI 棒以實現電視連線。限制很少。使用者可以部署低成本愛好者計算機，如 Rasp
Wan-Streamer v0.2 實現超低延遲 AI 聊天
隨著現代技術的飛速發展，人機互動正變得愈發普遍。傳統的視訊通話常常面臨卡頓、延遲以及音影片不同步等問題。通義實驗室最新發布的 Wan-Streamer v0.2 徹底克服了這些挑戰，實現了真正的“面對面”自然交流，響應延遲僅為 550 毫秒。Wan-Streamer v0.2 是一個全新的端到端多模態理解與生成模型。它在單個 Transformer 模型中整合了“聽、看、說、演”功能，使 AI 能夠像人類一樣實時感知並回應對話。這意味著無論是語音、文字還是影片，AI 都能即時理解並生成恰當的回應
Meta 加入臺積電和美光，為新型伺服器配備舊款記憶體
隨著人工智慧在全球範圍內的採用加速，下一代 DDR5 記憶體正經歷嚴重的供應短缺。為了避免 AI 資料中心部署出現延誤，Meta 與臺積電（TSMC）和美光（Micron）等行業領導者合作，開發了一種突破性的過渡解決方案。這項創新使得原本專為 DDR5 設計的先進 AI 伺服器能夠與較舊的 DDR4 模組無縫協同工作。該系統被稱為“弗蘭肯斯坦”（Frankenstein）配置，在現實世界測試中表現出卓越的穩定性，為突破當前的供應鏈瓶頸提供了可行的出路。彌合硬體鴻溝DDR5 與 DDR4 之間的向後
相關專題推薦
設計與藝術
頂尖 AI 插畫工具：更快地創作編輯畫面與封面插圖
2026 年最新高評分 AI 插畫工具：我們精心挑選的清單收錄了功能強大、設計出色的工具，能助您快速創作出令人驚豔的編輯場景與吸睛的封面藝術。每項選項均經過嚴格的實際測試，並提供免費版與付費版的比較，協助您找到最適合您工作流程的工具。 立即嘗試這些不可錯過的解決方案，釋放您的人工智慧優勢，並提升您的創意生產力。現在就前往 XIX.AI 探索吧。
10 個工具
xix.ai
教育與學習
頂尖 AI 補習老師助您備考：練習數學、科學和英語
2026 年最新、評價最高的考試備考 AI 輔導工具，盡在 XIX.AI！我們精心挑選的清單收錄了多款強大且顛覆傳統的工具，提供免費與付費版本的比較、實際測試，以及每週更新的排行榜。這些工具能幫助您提升寫作效率、簡化複雜主題的學習，並釋放您的學術潛能。 立即探索，發掘最適合您的備考工具，並從今天開始創作，釋放您的 AI 優勢！
10 個工具
xix.ai
金融
用於個人財務管理的 AI 預算規劃工具
2026 年最新最佳頂級評分 AI 預算規劃工具，專為個人財務管理打造，現已登陸 XIX.AI！本精選合集收錄了強大且具顛覆性的解決方案，助您開展實際測試、理解消費習慣，並制定個性化計劃以提升生產力。享受免費與付費版的對比及詳細排名。這些必試工具旨在簡化財務管理，助您釋放 AI 優勢。立即探索！
11 個工具
xix.ai
健康與養生
AI 睡眠追蹤助手：透過更佳的睡前習慣提升恢復效果
2026 年最新精選、評價最高的 AI 睡眠追蹤助手，助您獲得最佳恢復效果。這份全面更新的每週指南收錄了強大的工具，提供實際測試報告、免費與付費版本的比較，以及詳細排名，協助您找到必試的解決方案，以提升睡眠品質並培養更好的就寢習慣。 立即造訪 XIX.AI，解鎖您的 AI 優勢。
10 個工具
xix.ai
數據分析
用於產品與營收分析的 AI SQL 協作助手
2026 年最新最佳、評價最高的 AI SQL 輔助工具，專為產品與營收分析打造！ XIX.AI 精心甄選了一系列強大且顛覆業界的必試工具，這些工具均經過實戰測試，並透過每週更新的排行榜進行評比。這些工具能透過加速資料分析、簡化複雜查詢，並產生精準洞察來推動更明智的商業決策，從而大幅提升使用者生產力。立即探索，發掘最適合您的工具，釋放您的 AI 優勢！
14 個工具
xix.ai
教育與學習
最佳的「教學型」AI 作業輔助工具：學習概念，而不僅是答案
2026 年最新最佳高評價 AI 作業輔助工具：不僅提供答案，更教授核心概念。專為學生打造的強大工具，必試精選清單，每週更新，免費與付費版本比較，實際測試，精準排名，助您充分發揮學習潛能。立即探索，發掘最適合您的工具，讓學習更聰明。
10 個工具
xix.ai
評論 (0)
0/500
隨著大型語言模型逐步拓展至專業領域，美團推出了一項備受矚目的解決方案，引發了學術界與產業界的廣泛關注。
3月21日，美團正式發布了大規模數學推理模型「LongCat-Flash-Prover」。這個擁有5,677億參數的強大系統，採用先進的MoE（專家混合）架構，並針對處理高度複雜的形式數學證明進行了專門優化。
在評估邏輯推理能力的頂級基準測試中，LongCat-Flash-Prover展現了卓越的表現：
破紀錄表現：在 MiniF2F-Test 測試中取得97.1%的驚人成績，僅需 72 次推理嘗試。
攻克難題：該模型成功解決了 PutnamBench 資料集中的 41.5% 挑戰題。這兩項成果均創下了全球最先進水準（SOTA）的新紀錄。
為了讓大型模型具備數學家的精準度，美團實施了多項關鍵技術創新：
減少幻覺：引入基於抽象語法樹（AST）的多階段驗證流程，並整合 Lean4 形式語言，有效將 AI 推理中的邏輯錯誤與「幻覺」降至最低。
先進訓練方法：為解決 MoE 模型在長時程任務中常見的不穩定性，美團部署了其專有的 HisPO 演算法。結合定理一致性檢查，此方法可防止強化學習過程中的獎勵駭客行為。
優化架構：該模型總參數達 5,600 億，在維持深度知識庫
美團已將該模型及其原始碼在 GitHub 和 Hugging Face 上全面開源。
隨著LongCat-Flash-Prover的發布
Meta 希望你的下一個智慧裝置搭載 Muse 功能
Meta 的 Muse 是一個處理旅行預訂、表單提交和購物的 AI 助手，已獲得廣泛採用，但一項新舉措可能特別吸引開發者和硬體愛好者。週五，Meta 推出了 Muse Gadgets，這是一個開源專案，使開發者能夠建立與 Muse 整合的定製硬體。Meta 正在釋出開源韌體和 Linux 軟體開發工具包（SDK），以及 starter 專案概念。這些概念包括為 Muse 新增彩色電子墨水顯示屏，或將軟體嵌入 HDMI 棒以實現電視連線。限制很少。使用者可以部署低成本愛好者計算機，如 Rasp
Wan-Streamer v0.2 實現超低延遲 AI 聊天
隨著現代技術的飛速發展，人機互動正變得愈發普遍。傳統的視訊通話常常面臨卡頓、延遲以及音影片不同步等問題。通義實驗室最新發布的 Wan-Streamer v0.2 徹底克服了這些挑戰，實現了真正的“面對面”自然交流，響應延遲僅為 550 毫秒。Wan-Streamer v0.2 是一個全新的端到端多模態理解與生成模型。它在單個 Transformer 模型中整合了“聽、看、說、演”功能，使 AI 能夠像人類一樣實時感知並回應對話。這意味著無論是語音、文字還是影片，AI 都能即時理解並生成恰當的回應
Meta 加入臺積電和美光，為新型伺服器配備舊款記憶體
隨著人工智慧在全球範圍內的採用加速，下一代 DDR5 記憶體正經歷嚴重的供應短缺。為了避免 AI 資料中心部署出現延誤，Meta 與臺積電（TSMC）和美光（Micron）等行業領導者合作，開發了一種突破性的過渡解決方案。這項創新使得原本專為 DDR5 設計的先進 AI 伺服器能夠與較舊的 DDR4 模組無縫協同工作。該系統被稱為“弗蘭肯斯坦”（Frankenstein）配置，在現實世界測試中表現出卓越的穩定性，為突破當前的供應鏈瓶頸提供了可行的出路。彌合硬體鴻溝DDR5 與 DDR4 之間的向後
2026 年最新高評分 AI 插畫工具：我們精心挑選的清單收錄了功能強大、設計出色的工具，能助您快速創作出令人驚豔的編輯場景與吸睛的封面藝術。每項選項均經過嚴格的實際測試，並提供免費版與付費版的比較，協助您找到最適合您工作流程的工具。 立即嘗試這些不可錯過的解決方案，釋放您的人工智慧優勢，並提升您的創意生產力。現在就前往 XIX.AI 探索吧。
10 個工具
xix.ai
2026 年最新、評價最高的考試備考 AI 輔導工具，盡在 XIX.AI！我們精心挑選的清單收錄了多款強大且顛覆傳統的工具，提供免費與付費版本的比較、實際測試，以及每週更新的排行榜。這些工具能幫助您提升寫作效率、簡化複雜主題的學習，並釋放您的學術潛能。 立即探索，發掘最適合您的備考工具，並從今天開始創作，釋放您的 AI 優勢！
10 個工具
xix.ai
2026 年最新最佳頂級評分 AI 預算規劃工具，專為個人財務管理打造，現已登陸 XIX.AI！本精選合集收錄了強大且具顛覆性的解決方案，助您開展實際測試、理解消費習慣，並制定個性化計劃以提升生產力。享受免費與付費版的對比及詳細排名。這些必試工具旨在簡化財務管理，助您釋放 AI 優勢。立即探索！
11 個工具
xix.ai
2026 年最新精選、評價最高的 AI 睡眠追蹤助手，助您獲得最佳恢復效果。這份全面更新的每週指南收錄了強大的工具，提供實際測試報告、免費與付費版本的比較，以及詳細排名，協助您找到必試的解決方案，以提升睡眠品質並培養更好的就寢習慣。 立即造訪 XIX.AI，解鎖您的 AI 優勢。
10 個工具
xix.ai
2026 年最新最佳、評價最高的 AI SQL 輔助工具，專為產品與營收分析打造！ XIX.AI 精心甄選了一系列強大且顛覆業界的必試工具，這些工具均經過實戰測試，並透過每週更新的排行榜進行評比。這些工具能透過加速資料分析、簡化複雜查詢，並產生精準洞察來推動更明智的商業決策，從而大幅提升使用者生產力。立即探索，發掘最適合您的工具，釋放您的 AI 優勢！
14 個工具
xix.ai
2026 年最新最佳高評價 AI 作業輔助工具：不僅提供答案，更教授核心概念。專為學生打造的強大工具，必試精選清單，每週更新，免費與付費版本比較，實際測試，精準排名，助您充分發揮學習潛能。立即探索，發掘最適合您的工具，讓學習更聰明。
10 個工具
xix.ai
