華爲聯合瑞金醫院正式發佈瑞智病理大模型RuiPath 2.0並落地90餘家醫院華爲聯合瑞金醫院發佈病理大模型RuiPath 2.0，已落地全國90多家醫院。該模型顯著提升對常見癌症中隱蔽、少見及罕見亞型的識別能力，有效攻克傳統病理診斷難點。14 小時前11.6K
數學自動形式化迎來重大突破：OpenBMB開源MathForm，8B模型憑實力逆襲大廠OpenBMB團隊開源數學自動形式化框架、數據集與模型MathForm，目標是用Lean4讓機器準確讀懂並形式化驗證數學定理，攻克通用人工智能核心挑戰。其關鍵不是簡單翻譯自然語言，而是將每個數學概念精準映射到Mathlib庫中，爲數學與AI交叉研究提供新工具。08-2411.8K
