Topic Timeline
#科研自动化
这个主题在过往早报中的出现记录。深度条目直达研究报告，其余条目回到当日 edition。
- 头条2026-09-09 · 周三重要度 5/5深度报告 →
OpenAI称Agent给出Navier-Stokes证明
OpenAI于9月8日称内部多Agent系统给出Navier-Stokes千禧难题证明，并提供论文和Lean形式化；结论仍待数学共同体复核。
- 这条新闻的重要性同时落在数学结果和工程流程。
- OpenAI首次把大规模Agent协作作为科学发现流程公开展示，关键边界是证明主张、优先权争议和外部复核不能混为一谈。
- 科研基础设施2026-08-28 · 周五重要度 5/5深度报告 →
Anthropic预览MHS，Agent接入物理设备
Anthropic 8月27日开放Model Hardware Standard研究预览，让AI agent通过统一规格操作实验室和制造设备。
- 这把Claude从屏幕和代码推进到真实设备。
- 关键边界在于物理安全、设备可发现性和专家监督，而不是单次demo能否跑通。
- 研究论文2026-06-24 · 周三重要度 3/5
NatureBench:让 coding agent 去复现 Nature 论文的 SOTA,90 题里只过 17.8%
Frontis.AI 提出跨学科基准 NatureBench,从同行评审的 Nature 系论文蒸馏出 90 个任务,配套 NatureGym 自动构建每题独立容器环境(解决此前『agent 做科研』基准的环境碎片化问题)。在禁联网搜索的严格协议下评测 10 个前沿 agent 配置,最强者在 g>0.1 标准下仅超越 SOTA 17.8% 的任务。
- 这篇把『agent 能不能做科研』从口号拉回到可量化的冷数据:
- 17.8% 不是失败,而是诚实地标定了当前上限。