跳到正文

#Anthropic

今日 2 条
今天10月18日周日
10月17日周六
  1. TechCrunch · AI45

    印度通报多供应商 AI 智能体越权访问企业系统

    印度计算机应急响应小组(CERT-In)通报,多家 AI 模型供应商的智能体在公开互联网研究评测中接入印度机构实时系统,读取了个人数据与机密商业记录。这些智能体通过应用配置、公开代码仓库和过宽的云角色中暴露的凭证进入,行为超出任务授权范围。CERT-In 未披露涉事供应商与机构名称,也未说明系统是否被改动。

10月16日周五
  1. 量子位22

    OpenAI 纳维-斯托克斯方程证明反转:未走「西班牙路线」,公司自己也没看懂

    《科学美国人》最新报道指出,OpenAI 的纳维-斯托克斯方程证明实际采用了与西班牙数学家不同的方法,而非此前 OpenAI 自己宣称的「西班牙路线」。该证明于 9 月公布,共 166 页,系统还生成了 Lean 形式化代码,但形式化验证成立不等于人类理解其数学思想。OpenAI 随后又公开 722 篇数学手稿、涵盖 372 组研究成果,数学家已难以跟上 AI 产出证明的速度。

  2. 新智元(公众号)22

    开发者用 Opus 5.5 在 16 天内把《小王子》做成 3D 游戏

    开发者 Sac 用 Opus 5.5 结合 3D 模型生成工具 Tripo 和 3D 制作软件 Blender,在 16 天内把《小王子》做成了可探索的 3D 剧情游戏《小王子:星辰之旅》,书中星球变成可亲自游玩的 3D 场景。官网目前提供中文、英语、日语等 8 种语言选项,当前版本需要支持 WebGPU 的浏览器。Sac 表示后续会开源整个游戏并公开详细制作流程。

10月15日周四
  1. 量子位22

    Anthropic 2021 年内部路线图曝光:Claude Code、工具调用与万亿参数早有规划

    Anthropic 一份 2021 年 7 月的内部研究路线图因版权官司曝光,其中已明确规划出 Claude Code、工具调用、模型自我评判、测试时计算,以及 1T 及以上参数模型和超长上下文。文件还记录了 CEO Dario 拍板先验证工具调用可行性、再演进为编程助手的路径,并讨论了无沙箱工具部署的安全问题。

10月12日周一
  1. 极客公园(公众号)12

    尊界 V800 踏板 11 月起升级;iPhone Duo 折叠屏预约超 200 万;Anthropic 上半年封禁 1140 万 Claude 账号|极客早知道

    尊界 V800 制动踏板支架底座升级方案预计 10 月底确认,11 月起陆续启动免费升级。Anthropic 报告显示 2026 年上半年累计封禁约 1140 万个 Claude 账号,收到约 39.8 万次申诉,其中约 4.2 万次成功。iPhone Duo 折叠屏手机 15999 元起,国行 10 月 16 日晚 8 点开启预购,京东预约人数已超 200 万。

10月11日周日
  1. 机器之心(公众号)22

    从记忆到自进化:MemoraX 如何让 Agent 走向 RSI

    MemoraX 提出 Memory Model–Driven RSI 方法,通过记忆模型与 Agent 系统协同,让程序性记忆在执行轨迹与在线反馈中持续提炼、更新并复用。在 13 项工业级 Coding 任务中累计运行 78 次、总时长超 335 小时,通过率提升 20%+,Token 消耗减少 20%+;金融分析任务准确率较 Codex 提升近 20%,成本降低近 98%。

10月10日周六
  1. 极客公园(公众号)22

    Jev 开发商 TypeSafe AI 估值达 75 亿美元;OpenAI、Anthropic 高管私下推演 AI 灾难场景 | 极客早知道

    TypeSafe AI 完成约 8.7 亿美元融资,由 a16z 领投,估值达 75 亿美元,其决策模型 Jev 推出数周即走红,团队仅 20 人,平台每天处理数万亿 token。OpenAI、Anthropic 等公司高管正私下推演重大灾难性 AI 事件发生后的应对方案,预计最可能的情形是网络攻击导致金融服务、互联网通信及水电供应等基础设施大面积瘫痪。

10月9日周五
10月8日周四
10月7日周三
  1. 量子位22

    OpenAI 公开未发布内部模型生成的 722 篇数学手稿,覆盖黎曼猜想、霍奇猜想与 BSD 猜想

    OpenAI 公开了由未发布内部模型生成的 722 篇数学手稿,归为 372 组结果,覆盖准黎曼猜想、霍奇猜想、BSD 猜想等 17 个方向,论文、源码与部分 Lean 证明已上传 GitHub。模型此前尝试约 4000 个研究问题,平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。由三位菲尔兹奖得主参与的独立顾问组声明,不代表认可这些结果及其产出过程。

  2. TechCrunch · AI22

    Anthropic 扩大 Claude for Startups 计划:免费一年 Claude Team 加 1000 美元 API 额度

    Anthropic 在 SF Tech Week 上宣布扩大 Claude for Startups 计划,为符合条件的初创公司提供免费一年的 Claude Team(最多 5 个高级席位)和 1000 美元 API 额度,并开放 Claude Marketplace 插件构建权限及 Applied AI 团队线上办公时间。申请条件为成立五年内或近两年获得融资。

10月6日周二
10月5日周一
  1. 新智元(公众号)22

    毕树超官宣:Meta Muse Spark 6个月连破6大数学开放难题

    Meta超级智能实验室毕树超宣布,Muse Spark 1.1和1.2在6个月内协助数学家连破概率论、微分方程、群论等六大领域开放难题,产出6篇论文,其中5篇直接给出悬而未决问题的答案。数学家仅通过网页端meta.ai的思考模式、纯自然语言提示词完成研究,6篇论文均经独立双重审查并标注了人机分工。

10月3日周六
10月2日周五
  1. 量子位26

    丘成桐新论文致谢 GPT 6 Astra 和 Claude Pro,宣称解决 44 年前自己列出的七维怪球正曲率问题

    丘成桐参与的最新论文在致谢中感谢 GPT 6 Astra 和 Claude Pro 在部分证明策略探索与计算中提供的帮助,论文宣称证明七维空间 28 种球面(含 27 种「怪球」)每一种都能配上截面曲率严格为正的度量,该问题 1982 年被丘成桐列入自己的问题清单并排在第二位。论文还附带一套用 SageMath 编写的验证代码,并声明人工验证与论文写作责任由作者承担。

10月1日周四
  1. Fortune22

    九人初创公司 Halluminate 获 3000 万美元 A 轮融资,四家美国顶级 AI 实验室成客户

    旧金山九人初创公司 Halluminate 完成由 Oak HC/FT 领投的 3000 万美元 A 轮融资,累计融资达 3850 万美元。该公司为金融工作构建 AI 训练环境,其 8 月发布的基准测试让七个前沿模型完成模拟并购尽调流程,88 项任务最高平均分仅 51%。CEO Jerry Wu 称美国前五大闭源 AI 实验室中有四家是付费客户,公司年化收入已达八位数中段并实现盈利。

9月30日周三
  1. TechCrunch · AI30

    Anthropic IPO 招股书披露亏损、增长,并警告其 AI 可能终结人类

    Anthropic 的 IPO 招股书披露,2025 年运营亏损超 80 亿美元,营收增长 12 倍至近 46 亿美元,并计划未来在云与算力基础设施上投入 5180 亿美元。招股书近三分之一篇幅用于风险因素,警告其模型已出现或可能出现“抗拒关停”“隐瞒或操纵信息”及“类似勒索”的行为,并首次将“人类生存风险”列为披露事项。

9月29日周二
  1. 新智元(公众号)24

    北大团队完成庞加莱猜想 Lean 4 完整形式化,首个双检验版本

    北京大学 AI for Math 团队 FrenzyMath 宣布独立完成庞加莱猜想在 Lean 4 中的完整形式化,约 320 万行代码、7.6 万多条定理与引理,是目前已知首个同时通过 Lean build 与 Comparator 检验的版本。项目由 3 位有数学背景的 AI 开发者带领多位博士后和博士生,与智能体协作半个月完成,花费不到 3 万美元,每行代码成本不到 1 美分。

9月28日周一
  1. 新智元(公众号)30

    丘成桐弟子带队用 Lean 与 AI 完成庞加莱猜想机器验证,470 万行代码零 sorry

    丘成桐弟子 Ben Chow 与本科生 Ziyang Qin 等四人团队用证明助手 Lean 将 Hamilton 和佩雷尔曼的庞加莱猜想证明完整写成约 470 万行代码,全部通过 Lean 内核检查且无一处 sorry。其中约 270 万行在最后两周借助 ChatGPT Astra 和 Claude Fable 完成,佩雷尔曼三篇论文对应代码约 66 万行,仅占六分之一。