Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

相关推荐

• Muse Spark Open (Max) 登顶 Code Arena: WebDev 美国开源模型第一

  Arena 公布 Meta 发布的 Muse Spark Open (Max) 在 Code Arena: WebDev 以 1511 分位居美国开源模型第一、开源模型总榜第 13。

  

  AI资讯 2026年10月17日

  000

• 研究人员发现可读取ChatGPT等模型加密推理过程的API漏洞

  Alexander Panfilov团队发现OpenAI、Anthropic、Google等主要AI提供商API存在漏洞，可读取推理模型的加密思考过程。扫描约7000条公开会话发现62个API密钥、33个邮箱和33个密码。通过越狱，Anthropic的Haiku 4.5可逐字转写Opus 4.8的原始推理；解码10000条推理轨迹的API成本约720美元。

  

  AI资讯 2026年8月12日

  000

• Claude Code 自动模式默认开启原理

  我们最近将自动模式设为 Claude Code 的默认选项，这意味着你不再需要批准每一个操作。

  但什么决定某个操作是否可以安全运行？看看它是如何工作的：

  

  AI资讯 2026年8月10日

  000

• 纽约时报诉 OpenAI 与微软案解封文件披露 AI 抓取被称为史上最大劳动窃取

  纽约时报诉 OpenAI 与微软版权案的新解封文件披露，微软高管 Brent Hecht 在内部备忘录中称 AI 抓取是”人类历史上最大规模的劳动窃取”，OpenAI 高管 Nick Turley 则称聊天机器人对出版商构成”生存威胁”。

  

  AI资讯 2026年9月18日

  000

• Anthropic 扩大与 GSA 合作，政府机构购买 Claude 享 40% 折扣

  Anthropic 与美国总务管理局（GSA）扩大合作，政府伙伴购买 Claude Enterprise、Claude for Government 和 Claude API 可享 40% 折扣，预计为政府节省 10 亿美元，且不设最低消费承诺。

  

  AI资讯 2026年10月27日

  000