谷歌与 Anthropic 和博通展开合作
相关推荐
Anthropic推出Claude for Google Workspace,已入驻 Docs、Sheets 与 Slides
PANews 10月7日消息,据 Anthropic 官方博客,Claude for Google Workspace 已在所有付费计划上开启公测。用户可通过新发布的插件(add-on)在 Google 文档、表格和幻灯片的侧边栏中直接调用 Claude,由其读取并修改当前打开的文件。在 Docs 中可就地改写文本或以建议卡片形式提交修改;在 Sheets 中可编写公式、生成数据透视表和图表,并调用 Python 处理数据;在 Slides 中可按既有版式新建幻灯片。插件支持"编辑前确认"与"全部接受"两种模式。
Google加快推出Gemini 4,力争重新追上OpenAI和Anthropic
Google正在加快推进新一代旗舰AI模型Gemini 4,目标是在今年年底前更早发布首个版本。Google DeepMind负责人Koray Kavukcuoglu表示,Gemini 4目前已经进入后训练阶段,公司希望尽快推出早期后训练版本,并在发布后持续进行快速迭代。(新浪财经)
Anthropic想绕过云厂商:直接包下1GW数据中心
动察 Beating AI 快讯,《The Information》援引知情人士称,Anthropic 正与 Stream Data Centers 洽谈直接租用最多 1GW 数据中心算力。双方仍处于早期谈判,最终规模没有确定,交易也可能告吹。 如果签约,Anthropic 会直接成为数据中心租户,再自己部署服务器和芯片。设备可能包括 Google、Broadcom 的 TPU,也可能使用英伟达 GPU。Google 还在讨论为部分项目提供信用担保。 这和直接从 AWS、Google Cloud 租服务器不同。Anthropic 可以自己控制芯片、机架和网络设备,少付一层云厂商利润,但也要承担设备采购和数据中心运营成本。按《The Information》采访的数据中心开发商估算,1GW 规模的整套计算基础设施至少需要 400 亿美元资本投入。 Anthropic 今年已经直接租下 TeraWulf 约 401MW 数据中心,去年还宣布与 Fluidstack 合作投资 500 亿美元建设定制数据中心。Stream 这单如果做到 1GW,将成为 Anthropic 目前规模最大的直接数据中心租约之一。
Anthropic 招股书点名台积电,警告先进芯片产能集中台湾
火星财经消息,开发 Claude 的 AI 实验室 Anthropic 在 IPO 招股书中点名台积电,警告全球最先进芯片制造产能高度集中于台湾。招股书称,若台积电营运中断,可能严重冲击 AI 芯片供应,并影响 Anthropic 的业务、财务状况及营运成果。据 MoneyDJ 援引招股书,全球 AI 产业高度依赖台积电先进制程。英伟达、超微等供应商,以及自行设计芯片的亚马逊与 Google,均需由台积电将设计转化为实体芯片。所列风险包括地震、台风、电力与供水中断,以及两岸地缘政治紧张、军事冲突、封锁、关税与贸易限制。招股书还称,若台湾发生重大事件,先进芯片供应可能严重受阻;因替代晶圆厂建设及认证耗时,影响可能持续数年。台湾以外先进制程扩产仍处早期,短期难以有效降低集中风险。台积电因需求旺盛无法完全满足市场,导致 Anthropic 未能及时取得足量芯片。
Anthropic 目标于 11 月 16 日当周进行 IPO
ChainCatcher 消息,Anthropic 目标在 11 月 16 日当周进行 IPO。
Anthropic:Claude 已大规模形式化验证开源库
火星财经消息,人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究,称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作,使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质,并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格:在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下,对小于 64 MB 的任意输入,程序应正常退出且不触发内存安全错误或断言失败。数周内,Claude 在修补所发现问题后,对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令,约 1.8 亿行 Rocq,并由 Rocq 内核检查。页面称,这并不等于这些库没有漏洞,剩余问题可能位于受信任组件或证明范围之外。页面还称,团队让 Claude 形式化 RFC 1950,并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格;用 Rust 编写覆盖 Python 大子集的解释器,对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上,Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出,证明针对单线程、静态链接的 RISC-V 二进制,且证明检查器不能判断规格是否符合现实。