当前标签：Anthropic
Claude 11 天验完费马大定理，数学家却说没多出一点新东西
Anthropic 宣布 Claude 用 11 天完成费马大定理的首个机器验证形式化证明，1300 万行 Lean、约 3 万个定理。数学家却说它没贡献新数学。真正值得看的是背后那个让几十个智能体协作的脚手架，以及它给数学验证带来的变化。
AI动手了，但Anthropic真正想要的是下一个十年的"收租权"
8月27日，Anthropic发布了一个不起眼的东西：一个叫MHS（Model Hardware Standard，模型硬件标准）的接口规范。没有发布会，没有跑分大战，只是个研究预览版。但在我看来，这是过去一周AI领域最重要的一条新闻，分量超过同期任何一次模型更新。因为它是MCP故事的下半场——Anthropic正在把定义接口这门生意，从软件层推进到物理世...
Anthropic两万亿冲刺上市、OpenAI造芯、Kimi分账：AI公司正在变成铁路公司
这三天的AI新闻，单拎出来看每条都挺热闹，放在一起看就有点瘆人了。 8月26日，OpenAI公布了首颗自研推理芯片Jalapeño的基准测试结果：和博通合作，从立项到流片只用了大约九个月，3纳米制程，官方口径下每瓦性能比英伟达GB300高出约七成，下一代芯片已经进入制造阶段。同一天，路透社报道，月之暗面正在和微软、亚马逊、谷歌谈判，想让三家云巨头在自己的平...