文章精选

Bento · 瀑布流
标签筛选:Anthropic ✕ 清除
#701 2026-11-05 智能体与 Harness

17 秒验明模型真身:Anthropic 开源 FlashProve,抓「模型掉包」

11 月 4 日凌晨,Anthropic 开源了一套可证明推理系统 FlashProve,详细技术报告在 11 月 2 日发布。 它要解决的问题,一句话就能说清,但过去没人能真正解决:你怎么知道,回答你问题的确实是它声称的那个模型? 调用 API 的机制像个黑箱。你发提示词,你收到 Token。中间那一段发生了什么,你无法验证。…

✎ tengdy 5 分钟
#687 2026-11-03 智能体与 Harness

Anthropic 修订招股书:为防权重被窃,推迟前沿模型预训练一个多月

Anthropic 当地时间 11 月 2 日向 SEC 提交招股书修订稿,除了首次披露的三季度财务数据,还确认了一个此前不为人知的决定:公司近期将一款前沿基础模型的预训练推迟了一个多月,用于加强防止模型权重被窃取及知识产权保护方面的安全措施。招股书没有说明涉及哪款模型,也未披露推迟的具体时间。…

✎ tengdy 3 分钟
#618 2026-10-28 大模型

OpenAI 宣布模型反驳指数时间假设,Anthropic 数小时后跟进:AI 科研进入「机器校验 + 放牧人审稿」时代

10 月 26 日,OpenAI 宣布其模型产出了三项重大科学结果:调和分析中的局部光滑化猜想(并声称解决了 Kakeya 猜想)、计算机科学中的指数时间假设(ETH)为假的证明、以及量子色动力学(QCD)与标准模型完备化的存在性证明。其中 ETH 反驳已完成 Lean 证明助手的机器校验,证明与形式化代码已开源在 GitHub。…

✎ tengdy 2 分钟

关于本站 · RSS

浙ICP备2025156991号浙公网安备33010802013816号 浙公网安备33010802013816号 © 2026 智能体工场 - [从善如登] All rights reserved.