Anthropic宣布Claude完成费马大定理首个机器验证证明

硅基创元9月6日消息，Anthropic宣布Claude在基本自主运行11天后，用Lean语言生成约1300万行代码､证明约2.95万条中间定理，完成费马大定理首个端到端机器可验证证明。公司年化经常性收入突破650亿美元，Q2营收超115亿美元。

2026-09-06 星期日〖阅20〗 全文➣

博通CEO称Anthropic和OpenAI将成前两大AI客户

博通CEO陈福阳在财报电话会上表示，Anthropic与OpenAI业务规模快速扩张，未来将超越谷歌成为博通AI专用集成电路业务前两大客户。本季度博通已向Anthropic和谷歌批量交付TPU v7"Ironwood"芯片，面向OpenAI定制的"Jalapeño"芯片也开启交付。博通与Anthropic达成规模化部署计划：2026年落地1GW规模TPU v7，2027年部署5GW TPU

2026-09-03 星期四〖阅26〗 全文➣

Anthropic推Fable 5.1 缓存命中降价75%

Anthropic推出Fable 5.1模型，缓存命中环节降价75%，强化编程与科研能力。Anthropic IPO计划在美国劳动节后公布招股说明书，拟融资超1300亿美元用于扩张算力，规模将超过SpaceX。公司允许现有股东售股部分股东禁售期超180天。机构认为AI大模型价格战从训练推理向缓存优化延伸，Anthropic上市潮有望重塑美股科技板块格局。

2026-09-02 星期三〖阅18〗 全文➣

⚠️风险提示：本站如有涉及投资、理财的内容、篇幅、数据等，仅供知识参考、学习交流之用，不构成任何投资建议。投资有风险，入市需谨慎，决策需自担。