# AI4Science 科学阅读日报｜2026-10-18

本期收录7个新条目与1个既有事件的英文报道补充。报道日期与研究首次披露分别保留。AI辅助整理；新闻、公司陈述及署名评论不等于同行评审证据，未独立复现。

## 1. AI移除之后，仪器还能运行吗？学界专家在沪探讨“AI原生”科学仪器

[报道或原始文章](https://m.sohu.com/a/1089060261_122014422) · 来源日期 2026-10-17T18:36:00+08:00 · 日期精度 second

上海科学院论坛讨论AI怎样进入科学仪器的测量与控制。方向提出“移除AI后能否运行”的判断思路；田中群主张围绕科学问题连接感知、解析、控制与行动。报道涉及计量可信、协作平台及“仪元智衡OS1.0”，属于专家论述与平台介绍，不是完整效果评测。

多模态天文观测统一表示和连接存量设备的仪器操作系统，是报道提出的两条路径。算法更新快、硬件周期长以及模型输出漂移影响校准，均使具体闭环和权限成为验证对象；仪器“原生AI”标签本身不能替代测量证据。

## 2. 未来产业看上海｜废塑料变水晶瓶，上海这家企业用AI重写蛋白质研发

[报道或原始文章](https://api3.cls.cn/share/article/2507464?app=stib&os=ios&sv=202) · 来源日期 2026-10-17T17:06:17+08:00 · 日期精度 second

科创板日报采访天鹜科技洪亮与上海未来产业基金蔡金旭，讨论AI蛋白质设计怎样进入工业验证。以PET降解为例，AI寻找活性、稳定性及工业耐受性合适的酶，再通过实验检验；栏目由媒体与上海国投联合策划，公司与投资人的主张保留归属。

据公司介绍，Venus连接文献数据、候选生成、机器人样品处理与功能测试，让结果反馈模型。数据能否持续产生、周期成本及客户复购是采访中的产业判断，没有独立比较证明统一研发提速。3月A+和7月A++为既有融资的回顾，不能记成今天新增融资。

## 3. 探路AI+先进材料，欧科亿联合顶材科技发布“智刃”大模型

[报道或原始文章](https://stock.stockstar.com/IG2026101700012648.shtml) · 来源日期 2026-10-17T21:48:06+08:00 · 日期精度 second

欧科亿与顶材科技于10月16日发布“智刃”，南方财经的10月17日报道介绍其以Qwen3适配材料知识，连接配方组织、涂层工艺、切削条件和磨损诊断四类智能体。材料、微观组织和具体加工工况之间的关系是其科学应用入口。

液冷板加工涉及不锈钢加工硬化、切削热、薄壁振动等耦合约束。模型承担检索、分析与方案建议，候选仍需材料和实际加工试验验证；发布会及专家解释没有提供可计算统一提速比例的独立对照。

## 4. 我科学家首次用中国大模型攻克世界级数学难题

[报道或原始文章](https://news.sciencenet.cn/htmlnews/2026/10/573076.shtm) · 来源日期 2026-10-17T09:18:51+08:00 · 日期精度 second

中国科学报报道大湾区大学许地生团队与上海人工智能实验室用S2参与特定余维一全纯Anosov微分同胚分类，涉及三维情形的Ghys猜想。上海人工智能实验室已于10月15日披露相关主张，17日报道不是另一项独立发现。

七批问题逐步展开，人类筛选模型线索、重组推导并作关键判断；SHEAF把主要定理转写到Lean，专家核对形式化陈述与原问题是否对应。应分别检查搜索过程、编码逻辑和语义对应，不能把报道扩展为全部高维情形或完全无人证明。

## 5. Claude半小时解开密码学悬案，学界集体走偏20年

[报道或原始文章](https://www.qbitai.com/2026/10/503910.html) · 来源日期 2026-10-17T20:06:51+08:00 · 日期精度 second

量子位转述Anthropic团队与合作者对标准椭圆曲线参数来源的分析：Claude提出伪随机发生器假设，研究者结合程序与格算法追查种子结构。原始披露为10月16日，17日是二手报道，悬赏背景可追至2023年。

lrand48的48位内部状态、截断输出和初始化模式形成可检验约束，结合LLL格约简与时间范围帮助恢复生成过程。部分参数和历史候选选择仍未解释；恢复来源不能等同于破解椭圆曲线密码或证明密码算法整体安全。

## 6. 数学家称OpenAI并不理解自己给出的Navier–Stokes证明

[报道或原始文章](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) · 来源日期 2026-10-17T09:00:26+00:00 · 日期精度 second

The Decoder于10月17日转述Scientific American对数学家的采访，与此前中文报道属于同一Navier–Stokes证明争论，本次补充英文来源，不新增独立发现。专家讨论的是带可构造外力的爆破和最终证明路线，不能推广为常见无外力千禧年问题已解决。

发布者对既有路线的描述与专家后续重建可能不同。Lean检查编码推导的逻辑，专家仍需比较论文、代码和前人贡献；本资料库不据二手报道裁决证明是否成立或归属。

同一事件此前的[中文报道阅读记录](2026-10-17.md)，本次不重复计为新新闻。

## 7. 越恐慌，越可能喂养这头“读心兽”

[报道或原始文章](https://proofsandprompts.com/2026/10/17/the-more-you-panic-the-more-you-feed-the-pyschic-beast/) · 来源日期 2026-10-17T14:00:00+00:00 · 日期精度 second

Drexel University数学研究者James Eldred Pascoe评论AI与数学共同体的知识流动。他以“读心兽”比喻模型可能组合分散线索，强调正确证明、来源解释与共同体协作是不同问题。

关于人类交流进入训练的描述是带条件的解释框架，不是对具体训练取数的调查结论。文章主张维护引用、协作及下一代研究者可参与的空间，并肯定适度自动化；应作为署名观点阅读，不能转述为已证实的个人取数或学术失范。

## 8. 让AI与人类理解并行，以及其他思考

[报道或原始文章](https://proofsandprompts.com/2026/10/17/parallelize-ai-and-human-understanding-and-other-thoughts/) · 来源日期 2026-10-17T11:00:00+00:00 · 日期精度 second

数学爱好者、软件工程师Nihal Uppugunduri主张让形式化成果积累与人类理解并行：机器核验通过后，人仍可探索证明的含义、解释和替代路径。作者身份与数学教授不同，这是一篇工具流程观点稿。

补齐省略步骤的Lean代码、反向检索定义和命题名称，是文中提出的用途；作者承认反向搜索仍可能幻觉，辅助评阅工具也仍是计划。保留引用和研究者控制有助讨论可核查性，文中物理类比不作为科学证据。