搜索
10 月 6 日，OpenAI 公开了 AI 产出的 722 篇数学论文，包括准黎曼猜想的相关证明。前 Google 科学家、xAI 联合创始人 Christian Szegedy 表示，数学家穷尽一生攀登的险峰，机器可乘飞机直接抵达。但 Szegedy 认为，数学不是走向终结，而是探索方式的改变 —— 人们可以借助飞机，抵达更多未境之地，他自己对此兴奋不已。
Anthropic 发了一篇科学博客：约翰斯·霍普金斯大学的天体物理学家 Brice Ménard（同时也是 Anthropic 的研究员），用自家的科研工作台 Claude Science，做出了第一张完整的全天紫外地图
Anthropic的Claude在不到四周内优化了30多个开源生物分子模型，AItonomy Foundation同期发布开源项目ScienceIDE，将科学代码库转化为可执行可验证的AI科学家训练环境。
阿里巴巴达摩院与浙大一院联合研发的DAMO RADAR登上Science正刊，作为全球首个专家级通用影像AI模型，其在39,160次测试中可一次性识别超过146种腹部病症，平均AUC达0.913，首次达到影像科资深医生水平。
9 月 18 日，阿里达摩院联合浙江大学医学院附属第一医院等机构研发的通用医疗影像模型 DAMO RADAR 登上《Science》正刊，并正式对外开源。这也是近年来中国 AI 模型罕见登上《Science》正刊。
程序员的桌面，这一年已经被彻底重塑了一遍。
AI for Science的竞争，正在向科研闭环延伸。
分子之心自主研发的反应性机器学习力场QuantaMind登上《Science Advances》，将十万原子级化学反应的单步模拟耗时从传统方法的约1300万天压缩至0.25秒，并在万原子级体系上稳定模拟了完整的酶催化循环，已应用于酶工程和抗体设计等产业项目。
元空智能联合惠普发布端侧AI方案，推出涵盖27B稠密与35B-A3B稀疏版本的Boxer系列模型以及AI Work、AI Science两套Agent，主张"设备即环境"理念，强调原生端侧模型才是AI未来发展方向。
openJiuwen社区的ScienceDiscovery通过树搜索驱动科研产物RSI，无需训练模型，在积分求解、代码加速和符号回归任务中分别以小时级产出通用积分器、实现平均2.279倍加速，并以低成本在111道方程反推题中正确找出41.4%。