产业资讯 | 生成式AI破局医疗诊断与数学研究 大模型开启双领域效率革命

多客科技

作者：微信文章




华为组建医疗卫生军团

AI医疗应用驶入快车道

华为近日正式成立医疗卫生军团，聚焦AI辅助诊疗及医疗大模型研发。该军团整合5G通信、昇腾计算与盘古大模型技术，推出秒级病理诊断系统。目前已联合瑞金医院发布临床级病理大模型RuiPath，与塞力医疗共建耐药预测等专病模型，并与广东医大落地健康大数据工程。通过AI辅助读片，传统数小时诊断缩短至数秒，显著缓解基层病理医生短缺困境。中信证券预测，2025-2029年国内AI诊疗市场将突破900亿元。华为以行业军团模式加速医疗数字化转型，持续赋能智慧医疗生态建设。



原文链接：https://mp.weixin.qq.com/s/KNR_jUeH8NxB8825tJd41g



DeepSeek-Prover革新数学研究

大模型助力数学家“挣脱细节枷锁”

前DeepSeek研发成员辛华剑近日披露，其团队研发的DeepSeek-Prover系列模型通过形式化数学方法，将数学家从繁琐证明中解放。该模型在Lean4形式定理证明基准测试中通过率超60%，采用强化学习与自生成验证数据训练，通过"左右互搏"式对抗验证提升可靠性。

辛华剑指出，模型可自动处理边界条件验证，使学者专注核心思想创新，其技术路径与DeepSeek开源的R1模型一脉相承，以1/20的GPT-4o训练成本实现同等推理能力。当前团队正探索模型自主提出数学猜想、构建结构化知识库等方向，清华大学刘知远教授评价其为"AI工程创新的典范"，预示数学研究将进入人机协作新范式。



原文链接：https://mp.weixin.qq.com/s/PBHnHaJfQAv1eRteaFNTHw

部分信息来源：

南方日报

图灵人工智能

编辑 | 胡绰妍

初审 | 谢兰芳

终审 | 杨逸韵