BTC $80,840.24 -0.46%
ETH $2,379.71 -0.37%
BNB $738.94 +0.91%
XRP $1.29 -1.47%
SOL $102.45 -1.27%
TRX $0.3298 +0.32%
DOGE $0.0787 -0.21%
ADA $0.2115 -1.01%
BCH $279.32 +0.34%
LINK $11.82 -1.53%
HYPE $76.97 -0.51%
AAVE $144.29 -1.82%
SUI $0.9614 -1.80%
XLM $0.1732 -1.30%
ZEC $1,179.14 -3.01%
AAPL $347.58 -0.07%
AMZN $249.02 -0.66%
GOOGL $322.05 -0.78%
MSFT $525.04 +1.14%
META $641.86 -0.67%
NVDA $211.49 -1.06%
TSLA $372.49 -0.75%
SNDK $1,242.31 -1.13%
INTC $86.90 +0.72%
SPCX $147.93 +0.35%
MU $885.69 +2.87%
AMD $519.35 +1.12%
BTC $80,840.24 -0.46%
ETH $2,379.71 -0.37%
BNB $738.94 +0.91%
XRP $1.29 -1.47%
SOL $102.45 -1.27%
TRX $0.3298 +0.32%
DOGE $0.0787 -0.21%
ADA $0.2115 -1.01%
BCH $279.32 +0.34%
LINK $11.82 -1.53%
HYPE $76.97 -0.51%
AAVE $144.29 -1.82%
SUI $0.9614 -1.80%
XLM $0.1732 -1.30%
ZEC $1,179.14 -3.01%
AAPL $347.58 -0.07%
AMZN $249.02 -0.66%
GOOGL $322.05 -0.78%
MSFT $525.04 +1.14%
META $641.86 -0.67%
NVDA $211.49 -1.06%
TSLA $372.49 -0.75%
SNDK $1,242.31 -1.13%
INTC $86.90 +0.72%
SPCX $147.93 +0.35%
MU $885.69 +2.87%
AMD $519.35 +1.12%

ant

全部
文章
快讯

first_img Anthropic:Claude 已大规模形式化验证开源库

ChainCatcher 消息,人工智能公司 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 拟最快 11 月中旬上市,市场讨论估值约 1.5 万亿美元

ChainCatcher 消息,人工智能公司 Anthropic 计划最快于 11 月中旬上市,市场讨论给予约 1.5 万亿美元 IPO 估值,较今年 5 月 9650 亿美元融资估值高出约 55%。按该潜在估值测算,Spark Capital 于 2023 年投资 7500 万美元,持股价值可能约 109 亿美元,当年估值约 50 亿美元并获董事会席位,为目前唯一已知拥有董事席位的风投。Sound Ventures 首笔投资 3500 万美元后追加 4 亿美元,由 Guy Oseary 与 Ashton Kutcher 共同创办并于 2023 年入场,持股价值达数十亿美元。Menlo Ventures 累计投入超过 10 亿美元,持股价值约 218 亿美元,含一笔 5 亿美元 D 轮,2023 年 5 月首次入场。Iconiq 于 2025 年入场,累计投入超过 60 亿美元,持股价值可能约 264 亿美元,首次投资时估值已达 1830 亿美元。红杉资本今年开始投资,累计约 30 亿美元,约持有 1% 股份,价值约 150 亿美元,此前已投资 OpenAI 和 xAI。新加坡主权财富基金 GIC 于 2025 年首次投资,累计超过 45 亿美元,约持有 1% 股份,价值约 150 亿美元。Google 前 CEO Eric Schmidt 于 2021 年投入数千万美元,约持有 1% 股份,价值约 150 亿美元。FTX 于 2021 年投资 5 亿美元,最初持股 13.56%,2024 年稀释至 7.84%,破产清算后卖光股份,回收约 13 亿美元,实际收益约 8 亿美元。按未再稀释的 7.84% 与 1.5 万亿美元估值测算,理论价值约 1176 亿美元,比实际卖价高约 1163 亿美元,测算未计入后续融资稀释。2024 年 FTX 分批卖掉全部 Anthropic 股份,首批约 8.84 亿美元交易涉及 24 家买家,阿布扎比主权财富基金 Mubadala 关联公司 ATIC 买入约 5 亿美元,Jane Street 买入 1 亿美元,富达旗下基金买入 4500 万美元。Lightspeed 持股不足 2%,Google、亚马逊、英伟达、微软以及 Founders Fund、Coatue、Altimeter 等亦有投资,公开持仓数据不够完整,无法逐家准确计算回报。

first_img CryptoQuant CEO:比特币算力回升是机构间接看涨信号

ChainCatcher 消息,据 CryptoQuant 创始人兼 CEO Ki Young Ju 在 X 平台发文表示,比特币算力持续回升是来自机构投资者的“间接看涨信号”。他指出,更高的算力意味着更强的安全性和更好的价值存储基本面,而上市矿企大多由传统金融机构(TradFi)支持,因此算力上升可视为机构对比特币安全性与长期价值的认可。算力是衡量区块链网络计算能力的指标,代表每秒可完成的哈希计算次数。CryptoQuant 数据显示,比特币算力已从夏季低点回升约 45%,由 7 月的约 726 EH/s 升至周三的约 1,050 EH/s。不过,全球算力仍低于 2025 年 10 月创下的 1,305 EH/s 峰值,当时比特币价格高于 11.1 万美元。周四美国股市开盘时,比特币价格约为 81,843 美元。上市矿企仍在扩张产能。纳斯达克上市的 NIP Group(NIPG)宣布第三批在架资产购买协议,将收购约 4.47 EH/s 已部署的比特币矿机,交易完成后三批总算力预计达 13.85 EH/s。该公司目前以 3.11 EH/s 的运行算力位列上市矿企第 16 位,Bitdeer 以 79.9 EH/s 居首。周三 NIPG 股价下跌 6.8% 至 6.1 美元,过去一年累计下跌 86%;受高于预期的通胀数据影响,美股遭遇 7 月以来最剧烈抛售,TeraWulf、Core Scientific、Cipher Mining 与 IREN 股价均下跌约 12%。

first_img Anthropic 开放 Claude Duet 研究预览

ChainCatcher 消息,Anthropic 于 10 月 21 日开放 Claude Duet 研究预览。这是一款独立应用,Claude 作为主动型代理,会提示需要关注的事项、完成用户交代的任务,并在用户离开后继续工作;代表用户行动前会征求确认。产品面向专业人士和小企业主,提供 iOS、Android 应用及 claude.ai,研究预览包含在 Pro 和 Max 计划中,与其他 Claude 功能共用用量限额。用户需加入候补名单,目前先从美国 Pro 和 Max 用户开始。Claude Duet 围绕 Claude Opus 5.5 设计。它每天早上发送跨已连接应用的简短简报,白天监测这些应用,仅在需要关注时发消息,可处理安排会议、搭建仪表盘、财务或销售预测、原型和网页应用等任务。应用沿用 Claude 账户中的记忆、技能和已连接应用,支持打字或语音在同一持续线程中沟通,并配备带浏览器的虚拟机,不依赖用户设备保持开机。它可使用 Claude Marketplace 中超过 6,000 个连接器和插件,文中举例包括 Gmail、Slack、Intuit QuickBooks、Stripe、Gusto、LinkedIn、Docusign、HubSpot、Canva、Shopify。企业采购可使用 Stripe 的 Link 数字钱包或 Shopify 的 Shop Pay,即将支持在用户许可下用 1Password 已保存登录信息登录网站。安全方面,产品沿用可信代理框架,托管代理不直接看到密码或登录令牌,并设有自动模式分类器及提示注入防护;Anthropic 已进行红队与外部渗透测试,并将其纳入公开漏洞赏金计划。发送消息、付款、签署文件或删除内容前会展示拟执行操作并等待批准,证券交易或账户间转账即使获得批准仍被禁止。早期版本可能误读对话或误判紧急程度,核心功能围绕工作,订票等个人事务较弱,尚不能向用户展示其浏览器,目前也与主 Claude 应用分开,后台检查计入计划用量。

Anthropic CEO 发长文回应安全质疑,称须保持技术最前沿

ChainCatcher 消息,Anthropic 最近向美国国会议员提交一份 AI 安全法案草案,遭美国 AI 安全派质疑。草案对政府紧急叫停危险模型设置较高门槛,风险须涉及生物武器、网络攻击或 AI 失控等情形,并可能造成超过 50 人死亡或重伤,或超过 10 亿美元损失;部分条款还可能限制州政府监管权限。AI 安全组织 Encode AI 战略负责人 Nathan Calvin 随后梳理 Anthropic 过去一年的决定。今年 2 月,公司修改原本严格的安全政策:过去承诺若安全措施跟不上模型能力就暂停训练或发布,新政策不再要求公司在更高风险阶段独自停止研发,理由是竞争对手可能趁机超车。同期公司投入巨额算力、组建芯片团队,并让 Claude 承担更多 AI 研发任务。10 月 21 日,Anthropic CEO Dario Amodei 在 X 上发长文反驳。他承认公司犯过一些错误,但坚持争夺最先进 AI 能力并未违背安全使命,并称公司奉行向上竞赛,只有保持在技术最前沿,才有能力推动行业提高安全标准。他列举九项曾让公司付出商业代价的安全决定,包括将 Mythos 级模型限制开放数月,以及严格限制生物学相关请求。公司 10 月 19 日更新的安全路线图称,现有政策主要针对危险模型部署,未来可能需要直接限制研发速度,并计划在 2027 年 1 月 15 日前提出相关政策方案,或解释为何没有提出。
app_icon
ChainCatcher 与创新者共建Web3世界