华为联合瑞金医院正式发布瑞智病理大模型RuiPath 2.0并落地90余家医院华为联合瑞金医院发布病理大模型RuiPath 2.0，已落地全国90多家医院。该模型显著提升对常见癌症中隐蔽、少见及罕见亚型的识别能力，有效攻克传统病理诊断难点。16 小时前12.0K
数学自动形式化迎来重大突破：OpenBMB开源MathForm，8B模型凭实力逆袭大厂OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。08-2411.8K
