标签：人工智能

AI 资讯

Anthropic 曾试图审查的诗集

一位编辑在整理 1930 年出版、今年进入公共领域的诗集《Intellectual Things》时，发现 Claude AI 的对话界面拒绝为其中一首诗提供解读；随后他使用 API 方式提问，得到了完整回答。这件事显示出 AI 内容审核的边界并不稳定，同样的模型在不同入口可能给出截然不同的响应。

celebrityanime
2026年 9月 6日

AI 资讯

Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码

Anthropic 旗下模型 Claude 完成费马大定理的首次完整形式化证明，生成超过 1300 万行 Lean 代码。这个原本专家预计需要多年才能推进的项目，在一个月内完成，也是目前最大的 Lean 形式化证明。

celebrityanime
2026年 9月 6日

AI 资讯

Claude 完成 Fermat 大定理的首个全机器校验形式化证明

Anthropic 旗下的 Claude 用 11 天完成了费马大定理的首个全机器校验形式化证明，把 1995 年 Andrew Wiles 的人类证明转化为 Lean 证明助手可以逐步验证的代码。这件事的意义在于，AI 不仅能“解题”，还能把跨越数百年数学研究的知识链条补全成机器可验证的形式。

celebrityanime
2026年 9月 6日

AI 资讯

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

Anthropic 的 Claude 通过多智能体协作，在 11 天内自动完成了费马大定理的端到端计算机形式化验证，将原本预计需要数年的数学工作压缩至两周内。这项成果展示的并非 AI 提出新证明，而是 AI 在严格形式化验证领域的规模化能力。

celebrityanime
2026年 9月 6日

AI 资讯

日本称5500亿美元协议取得进展，AI与芯片成下轮谈判关键。

日本贸易官员表示，日美总额5500亿美元的投资协议第三轮项目将以AI和半导体为核心，这是在该协议累计仅落实1090亿美元、且尚未覆盖科技领域后的关键转向。相比欧盟“承诺采购美国AI芯片”的模式，日本获得了自主选择投资方向的机制。

celebrityanime
2026年 9月 5日

AI 资讯

Businesses in China are experimenting with ways to package and market AI tokens to ordinary consumers, including as credit card rewards and telecom plan bundles (Kinling Lo/Rest of World)

中国商家开始把 AI 代币（AI tokens）当作类似积分或话费套餐的消费品来打包营销，例如作为信用卡奖励或电信套餐权益。这标志着 AI 能力正在从开发者 API 走向大众市场的渠道化销售。

celebrityanime
2026年 9月 5日

AI 资讯

Obsidian 补齐了最后一块拼图，让 Gemini 和 Gemini Notebook 真正可用

Android Police 作者提出了一套个人知识管理工作流：用 Gemini Notebook 做资料来源分析、Gemini 补足跨领域理解，再以 Obsidian 作为所有产出的长期存储与连接层。真正让 Gemini 和 NotebookLM 类工具“可用”的，恰恰是笔记软件的本地化沉淀能力。