标签
AI 科研
共 4 篇文章
Claude 自主发现新型酶系统，AI 开始参与真科研
约 950 个 Claude 智能体在 DNA 数据库中自主搜索 21 小时，发现一套名为 ART 的新酶系统，重复序列特征与 CRISPR 相似但功能未确认，是 AI 参与基础科研的早期样本。
2026-09-24
AI资讯
OpenAI 内部模型提出纳维-斯托克斯千禧年难题解法
OpenAI 9 月 8 日宣布，其内部未公开模型提出纳维-斯托克斯存在性与光滑性问题的解答，证明光滑流体可在有限时间内形成奇点，并用约 1 万个智能体协作、Lean 形式化验证，成为 AI 攻克顶级数学难题的标志性事件。
2026-09-09
OpenAI 官宣达成自动研究实习生目标，披露 AI 科研加速内部数据
OpenAI 于 9 月 6 日发文确认，按内部口径已在 9 月达成去年承诺的「自动研究实习生」目标，并首次披露研究员日均用编码智能体开销、实验数量增长等内部数据，AI 自动化科研进入可量化披露阶段。
2026-09-06
Anthropic 用 Claude 完成费马大定理形式化证明，11 天写出 1300 万行 Lean
Anthropic 于 9 月 4 日公开，Claude 用 11 天、1300 万行 Lean 代码自主完成费马大定理的完整形式化证明，成为数学史上首个被计算机逐行验证的大定理证明，AI 自动形式化能力就此迈上新台阶。
2026-09-05