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 中可按既有版式新建幻灯片。插件支持"编辑前确认"与"全部接受"两种模式。
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 二进制,且证明检查器不能判断规格是否符合现实。
Anthropic发布Claude Haiku 5.5,平均运行成本较前代低约75%
PANews 10月8日消息,据Anthropic官方公告,Anthropic发布小模型Claude Haiku 5.5,称其为迄今最快、最便宜且能力最强的小模型,平均运行成本较Haiku 4.5低约75%。定价方面,10万token以内的提示词输入价格为每百万token 0.1美元、输出为0.5美元。该模型已在Claude平台及AWS、Google Cloud、Microsoft Azure上线,主要面向摘要、分类、子智能体等高频且对成本敏感的任务。此外,Anthropic将Sonnet 5.5的缓存读取价格下调50%。
Anthropic提交IPO注册文件后,其盘前合约交易量激增159%
火星财经消息,10 月 27 日,据 Kaiko 数据,AI 公司 Anthropic 于 10 月 26 日公开提交美国 IPO 注册文件(S-1)后不到一小时,其上市前永续合约过去 24 小时交易量激增 159%。 其中,Binance 相关合约的过去 24 小时交易量增长 233%,达到 3520 万美元,未平仓合约量增长 6.8%。
trade.xyz上线Anthropic IPO前永续合约市场,上市后预计转为标准永续合约
Odaily星球日报讯 trade.xyz 宣布正式上线 Anthropic IPO 前永续合约(IPOP)市场,交易代码为 ANT。该合约对应 Anthropic(Nasdaq:ANT)一股 A 类普通股,以美元计价,当前价格反映市场对其上市后股价的预期。 trade.xyz 表示,Anthropic 正式上市后,ANT 预计将转换为标准 XYZ 永续合约。此外,IPO 前市场可能因预期变化出现较大波动,标记价格可能频繁触及价格发现边界,暂时限制其相对参考价格的波动幅度。
Anthropic 目标于 11 月 16 日当周进行 IPO
ChainCatcher 消息,Anthropic 目标在 11 月 16 日当周进行 IPO。