Claude展示从零设计蛋白质结合剂的能力
Anthropic表示，Claude在专家编写的提示指导下，为15个生物靶点中的14个自主设计了蛋白质结合剂。Adaptyv Bio和Twist Bioscience随后独立合成并进行了实验测试。
VERIFIED AI SIGNALS
AI 行业资讯
经过来源核查的 AI 模型、API、研究、安全和监管动态。
Qwen3.8-27B评测达52分：小型本地模型接近部分前沿系统，但仍需谨慎解读
多来源资料显示，Qwen3.8-27B在Artificial Analysis Intelligence Index最高推理档获得52分，进入与部分近期前沿模型相近的区间。该模型据称可在约3000美元级硬件上运行，因此引发了关于本地模型能力跃升的讨论。
代码智能体能否绕过糟糕的命名？上下文检索或许更关键
一则讨论认为，代码智能体并不只是猜测关键词，而是会结合错误日志、代码片段和依赖关系逐步扩大检索范围，以定位故障并生成修复方案。这个观点回应了遗留代码中方法名、变量名和模块名失真的常见问题。
Pi 作者：代码和 Bash 工具往往足以支撑编码代理
Pi 项目的两位作者提出，编码代理应优先把代码库视为事实来源，并利用 Bash、文件系统和脚本组合完成任务。对许多编程场景而言，复杂的记忆系统、RAG 或 MCP 可能并非必要。
Anthropic 旗下 Claude 完成费马大定理的首个 Lean 机器形式化证明
Anthropic 宣布 Claude 利用交互式证明助手 Lean 4 完成了费马大定理的首个全机器验证形式化证明，生成了超 1300 万行经检验的代码。
Jason Wei：工具增强小模型，但难以替代大模型的内化能力
Jason Wei 对“1B 小模型加工具即可达到大模型智能水平”的观点提出反思。他认为，联网搜索和代码执行能够弥补部分知识与计算能力，但无法完全替代模型通过训练内化知识、模式和判断能力。
研究称自然语言“心智病毒”可在多智能体系统中传播
Anthropic 研究人员据称研究了一种风险模式：一个 AI 智能体接受特定想法后，将其写入持久化文件或记忆，并影响后续智能体。实验显示，自然语言内容可能在具备共享记忆和工具权限的多智能体环境中持续传播。
Moderna与默沙东个体化mRNA疗法III期试验取得积极结果
Moderna与默沙东宣布，个体化新抗原mRNA疗法intismeran autogene（V940/mRNA-4157）联合Keytruda，在高风险黑色素瘤术后辅助治疗的III期试验中达到主要终点和关键次要终点。完整数据仍待公布，疗法也尚未获监管批准。
Google DeepMind：让 AI 学会承认不确定性，或能提升现实决策安全性
Google DeepMind 研究副总裁 Zoubin Ghahramani 与 Hannah Fry 讨论了不确定性、概率推理，以及让 AI 识别自身知识边界的重要性。相关观点涉及从天气预报到机器人等需要在信息不完整条件下运行的场景。
Google DeepMind与Fenris Creations探索游戏中的长期AI研究
Google DeepMind表示，将与Fenris Creations合作，利用持续运行的虚拟世界研究AI的新能力。重点包括持续学习、长期记忆、跨较长时间跨度的规划，以及多智能体之间的协作与博弈。
Anthropic称研究版Claude推进黎曼猜想相关问题
Anthropic表示，一款未发布的Claude研究版本将黎曼ζ函数临界线上零点所占比例的已证明下界，从约41.6%提高到67.2%。该成果并非黎曼猜想的证明，且所给材料未包含独立同行评议验证。
Anthropic 称 Claude 将黎曼 ζ 函数临界线零点下界推进至三分之二以上
Anthropic 提供的论文材料称，一款未发布的 Claude 研究版本在与黎曼猜想相关的问题上得出新结果：证明落在临界线上的黎曼 ζ 函数非平凡零点比例超过三分之二。该结果并不构成黎曼猜想的证明。
社交媒体称 Claude 未发布模型曾探索黎曼猜想，尚无独立证实
一则社交媒体帖子称，Claude 的未发布模型曾围绕黎曼猜想尝试约 650 条研究路径，未完成证明但获得了有价值的数学结果。现有材料未能独立核实这一说法的关键细节。
深夜写代码未必更高效：第二天的代码才是真正考验
深夜编程可能带来安静和专注，但睡眠不足也可能削弱第二天的判断力与代码质量。现有材料主要是个人经验，无法证明深夜一定是最佳编程时段。
Prime Agent：Harness 改进能否让同一模型大幅提升基准成绩？
Prime Agent 是 Prime Intellect 开源的自我改进 Agent Harness，尝试通过递归上下文、持久化状态和可修改的执行框架提升长程任务表现。相关材料声称，搭配 Opus 5 后，其 ARC-AGI-3 成绩从 30.2% 提升至 95.5%。
一次五小时线下对谈：真实交流为何仍然珍贵
一场持续五个多小时的线下对谈，引发了对真实在场、深度交流以及AI能力边界的思考。现有资料支持这场对谈及其主题，但不支持“分别与两位朋友聊天”的说法。
OpenAI预告代号“Astra”的下一代模型，发布十项数学研究成果
OpenAI相关人员和多家媒体披露，内部代号“Astra”的下一代模型在数学及理论计算机科学领域取得十项研究进展。成果涉及群论、几何、密码学、计算复杂性和组合学等方向，并据称配有Lean形式化证明。
“Token”还是“词元”：一则关于AI术语与科技话语权的讨论
网帖将“Token”与“词元”的译法上升到科技话语权和中文技术表达体系的层面。但现有材料未能核实其所称人民网原文，相关观点应与已确认事实区分开来。
张一鸣据报要求字节大模型坚持长期主义，限制外部模型蒸馏
据多家媒体报道，张一鸣在字节跳动Seed团队内部会议上表示，公司不应依赖其他模型的输出换取短期榜单成绩，而应优先投入长期技术突破。报道还称，字节内部已限制使用外部开源模型进行蒸馏，并可能通过API检测加强管理。
四位谷歌顶尖研究者创办 Discovery Loop，瞄准自动化科学与工程
Jeff Dean、Sanjay Ghemawat、Oriol Vinyals 和 Quoc Le 宣布共同创办 Discovery Loop。公司希望利用人工智能自动化机器学习、工程和科学研究，以加快新发现和技术进步。