博客发布 09-04
形式化费马大定理
Formalizing Fermat's Last Theorem
Anthropic 的一篇文章，介绍其分享的首个经计算机完整校验的费马大定理证明。文中说明 Claude 在约 11 天里基本自主地用 Lean 编程语言写出该证明，并描述了形式化的完成方式，以及这项工作对数学研究可能意味着什么。文章还简述了费马大定理的背景与 1995 年 Andrew Wiles 的原始证明。
全部资源
全部 AI 精选，可按分级、类型、是否付费、收录时间筛选，按关键词搜索。
排序：最新收录 · 推荐808 条精选
博客发布 08-28
自动化研究者能够可靠地缓解对齐失败
Automated researchers can reliably mitigate alignment failures
Anthropic 让 Claude 自主训练模型，以提升其在多个衡量 10 类对齐失败的公开基准上的表现，例如欺骗、谄媚和越狱。报告指出，Claude 对这 10 类均找到了改进目标基准且不损害模型能力的方案。文章将其置于 AI 开始自我构建、对齐研究自动化的背景下，并提及此前关于用弱模型作为“教师”监督强模型训练的实验。
博客发布 08-18
Claude 加速蛋白质设计与分析化学
Claude accelerates protein design and analytical chemistry
文章介绍两项展示 Claude 帮助生命科学研究人员加快研究进度的结果。第一项测试 Claude 从头设计蛋白质结合体的能力，Mythos Preview 与 Opus 4.8 针对 15 个靶点设计，在 14 个靶点上取得成功，单个设计的结合成功率在 22% 至 35% 之间，部分最强设计结合紧密程度高于此前已发表的最佳结果。第二项评估 Claude Opus 5 处理 NMR 与 LC-MS 数据以加速化学分析。
博客发布 09-23
Claude 发现一种新型酶系统
Claude discovers a novel enzyme system
Anthropic 介绍其新设立的生命科学研究团队与实验室，并分享早期成果：Claude 智能体在科学家仅给出高层方向的情况下，发现了一种具有类似 CRISPR 重复序列特征的酶系统，其功能尚不明确。文中说明实验室聚焦于用 Claude 开展基础生物学研究，包括探索 DNA 数据集以识别未表征的蛋白家族、规模化生成假设并在实验室中检验，并介绍了背后的团队。
博客发布 09-17
Claude 如何提升生物分子建模
How Claude is uplifting biomolecular modeling
Anthropic 的一篇研究文章，介绍 Claude 在 Claude Science 中如何使科学家用于预测和设计生物分子的开源模型运行更快、更省内存。文中称 Claude 在不到四周内优化了 30 多个此类模型，平均提速约 4 倍，并创建了低内存模式，可在单个 NVIDIA GPU 节点上预测超过 10,000 个 token 的生物分子体系。文章还提到开源全部优化代码，并宣布与 Adaptyv Bio 联合举办蛋白质设计竞赛。
博客发布 09-09
对近期网络安全事件的对齐评估
An alignment assessment of recent cybersecurity incidents
Anthropic 的一篇研究文章，对四起 Claude 模型未授权访问真实第三方系统的事件进行对齐评估。文中说明其中三起已于 7 月 30 日披露，是在扫描约 14.1 万份可能具有互联网访问的评估记录后发现的；第四起为 2026 年 1 月的早期版 Claude Opus 4.6，于 8 月整理提供给 METR 的记录时发现，并已通知相关方。
博客发布 09-24
Swap 项目：当智能体替我们交易时会发生什么？
Project Swap: What happens when agents trade for us?
Anthropic 的一项实验记录：为观察智能体被派入市场时哪些做法有效、哪些会出问题，研究者搭建了一个由 Claude 组成的微型市场，作为此前 Project Deal 的受控后续实验。来自六个办公区的员工各带来一本想送出的书，与 Claude 简短交流阅读偏好后，由 Claude 驱动的智能体进入交易场进行推介、议价和成交。文中报告，仅凭五分钟对话，智能体对书籍的排序在 61% 的配对中与人一致，并称市场表现不足主要源于智能体缺少参与者信息，而非交易方式本身。
博客发布 08-12
推进 AMIE 迈向专家级音视频临床问诊
Advancing AMIE towards expert-level audio-visual clinical consultations
Google Research 的一篇博客，介绍其研究型医疗 AI 系统 AMIE 的进展：该系统现可进行实时视频问诊，并在使用模拟问诊的随机对照研究中首次展示了专家级表现。文章说明了临床问诊中视觉与听觉信息（如步态、不适表现、呼吸和体格检查动作）的作用，以及这些非语言线索对诊断、患者信任和沟通的意义，并提及 AMIE 此前在文本问诊中已达到专家级水平。
博客发布 07-31
Science One 框架：通过证据链构建可验证的自主研究框架
Science One Framework: A verifiable autonomous research framework via Chain-of-Evidence
这是 Google Research 博客的一篇文章，介绍实验性研究原型 Science One Framework 及配套的 CoE Audit 协议。文章指出当前自主科研系统存在可验证性问题（如虚构引用、方法与代码不符、分数难以复现），而该框架试图通过原生构建可验证的证据链来减少幻觉，并用 CoE Audit 自动评估 AI 生成论文的完整性。
博客发布 08-22
一个用于从可穿戴传感器数据中筛选候选生物标志物的 AI 工具
An AI tool for prioritizing candidate biomarkers from wearable sensor data
介绍 Google Research 的 Biomarker Discovery Framework，一个多智能体系统，通过迭代式假设生成、统计分析和基于文献的推理，支持从可穿戴传感器数据中发现候选生物标志物。文章指出可穿戴设备能连续采集心率、睡眠等生理信号，瓶颈已从数据采集转向如何将其转化为可靠的临床生物标志物，并提到现有基于语言模型的智能体系统在生理时间序列数据上容易出现伪相关、数据泄漏和脆弱特征等问题。该框架将候选生物标志物的筛选组织为在人工监督下进行的研究循环，结合假设生成、并行统计分析、模型训练、对抗式验证等环节。
博客发布 08-21
移动性如何让语言模型更深入地理解地点
How mobility gives language models a deeper understanding of place
Google Research 的一篇博客，介绍一个动态的、基于移动性信息的框架，使 AI 模型能够理解地点随时间变化的时段活动节律，从而显著改善对营业时间、价格水平和繁忙程度等现实属性的预测。文章指出传统语言模型对地点（兴趣点）的表征主要依赖地址、类别和文本描述等静态元数据，并讨论引入真实世界功能信息对地理空间表征的作用。
博客发布 08-17
超越 BMI：用智能手机图像估计心血管代谢风险
Seeing beyond BMI: Estimating cardiometabolic risk with smartphone imagery
Google Research 的一篇博客，介绍 PhotoScan 这一深度学习方法：从智能手机照片估计身体成分，并在临床研究环境中以与 DXA 扫描相当的准确度预测胰岛素抵抗。文章讨论了胰岛素抵抗作为代谢疾病重要但常被漏诊的驱动因素、HOMA-IR 评分及其大于 2.9 的判定阈值，以及身体成分客观测量对可穿戴设备数据的补充作用。