N全部新闻

全部新闻

星期三91 条

  1. 电子技术应用
    AI 评分60

    OpenAI计划采购谷歌AI芯片TPU

    科技媒体The Information报道，OpenAI正计划采购谷歌的人工智能芯片TPU，此举将加深这两家AI领域竞争对手之间的合作。OpenAI是英伟达GPU的最大采购方之一，而谷歌今年已开始向部分客户直接销售TPU；路透社曾于2025年6月报道OpenAI已开始租用谷歌AI芯片。此次采购的财务条款等细节尚未披露，谷歌与OpenAI均未置评。

    同一事件 · 6 条报道

    #行业动态#OpenAI#Google

  2. IT之家·人工智能
    AI 评分69

    消息称 OpenAI 计划正式导入谷歌 TPU，正招募模型适配工程师

    外媒 The Information 报道称，OpenAI 计划正式导入谷歌 Google Cloud 的 TPU AI ASIC 芯片，并已在招募领导模型在 TPU 上适配优化工作的工程师，知情人士称其计划采购谷歌 TPU。谷歌 TPU 曾在 OpenAI 创业早期发挥重要作用，此后其算力转向 NVIDIA，并陆续采购 AMD、Cerebras、AWS 等芯片，同时自研 Jalapeño。OpenAI 曾在 2025 年 7 月表示正对谷歌 TPU 进行早期测试、暂无大规模部署计划。

    同一事件 · 6 条报道

    #行业动态#部署/工程#Google

  3. 华尔街见闻
    AI 评分72

    OpenAI 计划采购谷歌 TPU 芯片并招聘工程师主导优化

    据 The Information 援引知情人士，OpenAI 计划采购谷歌 TPU 芯片，并已发布招聘启事寻找一名工程师主导其最先进前沿模型在 TPU 上的优化工作。此前 OpenAI 已开始使用谷歌 TPU，但曾表示没有专门使用 TPU 的计划；英伟达今年 8 月同意为 OpenAI 俄亥俄州数据中心项目提供逾 1000 亿美元信贷支持，黄仁勋称 OpenAI 承诺 2030 年前花费约 6000 亿美元使用英伟达服务器。同日谷歌宣布 Oracle 将成为首家向客户出租 TPU 的主要云服务商。

    同一事件 · 6 条报道

    #行业动态#OpenAI#Google

  4. 凤凰科技
    AI 评分58

    菲尔兹奖得主 Richard Borcherds 取消计分作业，改以线下考试评估学生

    加州大学伯克利分校教授、菲尔兹奖得主 Richard Borcherds 宣布不再布置计分家庭作业，改为通过禁止使用电子设备的线下考试评估学生，原因是难以分辨作业是否由 AI 生成。他表示在线考试平均分数大幅提高，按答案正确性评分会激励学生用 AI 完成作业并惩罚诚实解题者。伯克利曾考虑 AI 检测软件，但认为可靠性不足，最终将 AI 使用政策制定权交给教授，只要求在大纲中说明规定。

    同一事件 · 2 条报道

    #现象/趋势#行业动态#政策/监管

  5. 21ic电子网
    AI 评分80

    Anthropic 招股书披露现金储备 1317 亿美元，未来算力承诺超 5000 亿美元

    Anthropic 在向美国证券交易委员会提交的 S-1 文件中披露，截至 6 月 30 日持有 1124 亿美元现金及现金等价物，另有 193 亿美元短期投资，合计 1317 亿美元，规模超过几乎所有非银行类美国公司，仅伯克希尔·哈撒韦和 Alphabet 例外。按可能超过 1000 亿美元的 IPO 融资规模推算，其现金储备或增至 2300 亿美元以上。截至 6 月 30 日，公司还披露约 3214 亿美元预计未来未贴现租赁义务和 2656 亿美元预计未来固定或最低担保承诺，合计超 5000 亿美元，上半年算力和基础设施费用为 89.5 亿美元。

    同一事件 · 128 条报道

    #行业动态#Anthropic

  6. 阿易 AI Notes
    AI 评分75

    Axiom 称 AxiomProver 智能体群 24 天完成有限单群分类定理 Lean 形式化

    Axiom 宣布完成有限单群分类定理的完整 Lean 自动形式化，该证明约 15000 页、由 100 多位数学家跨代完成。据转述，AxiomProver 智能体群用 24 天产出约 5000 万行 Lean 代码，并修复了原著中的逻辑漏洞。

    引用Axiom · @axiommathai

    The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ

    同一事件 · 6 条报道

    #论文/研究#Agent#推理

  9. Rohan Paul
    AI 评分78

    Axiom 用 AI 智能体集群 24 天完成 15000 页数学证明的 Lean 形式化

    Axiom 宣布完成有限单群分类的 Lean 自动形式化，这份数学证明约 15000 页、由 100 多位数学家跨代完成，改写后约 4000 万行 Lean 代码，由 AI 智能体集群在数学家引导下用 24 天写出。Axiom 称今年年初让 AxiomProver 写出正确的 1 万行 Lean 证明还需数周反复引导，此次规模约为其 4000 倍，并将跃升归因于同时重建模型、harness 和基础设施三层。

    引用Axiom · @axiommathai

    The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ

    同一事件 · 6 条报道

    #现象/趋势#Agent#推理

  10. Rohan Paul
    AI 评分70

    数学与AI顾问小组呼吁 OpenAI 公开 Yang-Mills 证明

    数学与人工智能顾问小组公开呼吁 OpenAI 发布其未公开的 Yang-Mills 证明，要求提供相关自然语言与 Lean 输出。OpenAI 称其模型于 9 月 9 日证明 Yang-Mills 存在性、9 月 18 日证明量子色动力学，Lean 于 10 月 16 日完成第一项检查。其 Kakeya 与指数时间假说结果直接发布到 GitHub，而物理相关文件仍由 David Gross 领导的审稿人保管。

    同一事件 · 2 条报道

    #行业动态#OpenAI#推理

  11. Rohan Paul
    AI 评分67

    Physical Intelligence 据报洽谈至少 10 亿美元新融资，估值约 200 亿美元

    彭博社消息称，Physical Intelligence 正洽谈至少 10 亿美元新融资，估值约 200 亿美元，接近其 2026 年早些时候 115 亿美元估值的两倍。其估值从 2024 年 11 月的 24 亿美元升至 2025 年 11 月的 56 亿美元，本轮若完成将在不到一年内约为该数字的四倍。这一轮估值跳升紧随 10 月 13 日推出的 Pi API beta，该 beta 通过等待名单向外部开发者提供其最新机器人模型的托管微调与推理。

    #行业动态#具身智能

  12. Rohan Paul
    AI 评分65

    Anthropic 称 Claude 已用于 6 家公司的真实药物项目

    Anthropic 表示，过去几个月其科学家与 6 家开发新药的组织建立了深度研究合作，同时启动了自家的药物发现工作。Claude 承担的工作不止于提出分子思路：约一个月内生成约 3.5 万个抗体设计，为一家单人生物技术公司协调 11 个外部实验室，并发现 7 个人类审阅者遗漏的生产问题。这些工作目前大多仍处于临床前阶段，Anthropic 自有项目中的一款药物最早可能在 2028 年底进入人体试验。

    引用Anthropic · @AnthropicAI

    Over the past few months, Anthropic scientists have engaged in deep research partnerships with six organizations developing new medicines. We've also begun drug discovery efforts of our own. In doing so, we’ve learned much more about how Claude can support the many stages of drug development. In this blog post, we share some early results from these efforts, and describe how this work fits in with our wider ambitions in the life sciences. https://t.co/EVbxkdDTgJ

    同一事件 · 5 条报道

    #行业动态#Anthropic#Agent

  13. Rohan Paul
    AI 评分75

    Google TPU 将首次在 Google 之外的超大规模云上运行，Oracle 从 2027 年起部署

    Google 的 TPU 将首次在 Google 之外的超大规模云上运行，Oracle 将从 2027 日历年起部署容量，并在数年内逐步扩大。Oracle 提供电力、冷却和数据中心网络，其 Acceleron 网络把 TPU 集群连接到 Oracle 的数据库和存储，让企业无需跨云传输即可在数据旁微调和部署模型。Google 称第八代 TPU 单芯片 FP4 算力最高 12.6 PFLOPS，大规模训练时集群有效工作时间超过 97%，低延迟服务每美元性能提升最高 80%；其开源 TorchTPU 栈可让现有 PyTorch 代码及 vLLM、SGLang 等工具无需改写模型即可运行在 TPU 上。

    同一事件 · 9 条报道

    #行业动态#部署/工程#Google

  14. Rohan Paul
    AI 评分58

    Anthropic 与 GSA 达成 OneGov 协议，Claude 对政府机构打 40% 折扣

    Anthropic 与美国总务管理局（GSA）达成新的 OneGov 协议，以 40% 折扣向联邦、州、地方、部落和领地政府提供 Claude。约 500 家美国政府机构在使用 Claude，Claude for Government 周活用户自 2 月以来增长约 8 倍，联邦民用使用量一年内增长约 20 倍。此前每人 1 美元的联邦 Claude 优惠将于 10 月 31 日到期，替代方案是对 Claude Enterprise、Claude for Government 和 Claude API 打 40% 折扣，按用量计费且无最低消费；该折扣也覆盖此前被排除在联邦专属优惠之外的州、地方、部落和领地政府，并将在未来数月扩展到通过云厂商采购的订单。

    引用Anthropic · @AnthropicAI

    We're expanding our partnership with @USGSA. Under a new OneGov agreement, we are bringing Claude to federal, state, local, tribal, and territorial governments at 40% off. https://t.co/p0lA6cP2y1

    同一事件 · 3 条报道

    #行业动态#Anthropic

  15. Anthropic
    AI 评分62

    Anthropic 与六家药物研发机构合作并启动自有药物发现项目

    Anthropic 表示，过去几个月其科学家与六家开发新药的组织建立了深度研究合作，同时公司也启动了自己的药物发现工作。Anthropic 称由此更了解 Claude 能在药物开发的多个阶段提供哪些支持，并在博客文章中分享了这些工作的早期结果及公司在生命科学领域的整体规划。

    同一事件 · 5 条报道

    #行业动态#Anthropic

  17. Hacker News 热门
    AI 评分56

    Anthropic 扩大与 GSA 合作，Claude 全线产品对政府打 40% 折扣

    Anthropic 扩大与美国总务管理局（GSA）的合作，通过新协议为政府合作伙伴提供 Claude Enterprise、Claude for Government 和 Claude API 的 40% 折扣，折扣覆盖所有产品形态，并延伸至州、地方、部落和领地政府。Anthropic 称该协议预计为政府节省 10 亿美元，机构无需最低采购承诺、按实际用量付费；目前约 500 个美国联邦、州和地方政府组织使用 Claude，Claude for Government 周活跃用户自 2 月以来增长约 8 倍。Anthropic 同时启动专项计划帮助机构落地 Claude，并称 Claude for Government 已于 9 月 30 日全面可用，具备 FedRAMP High 授权。

    #行业动态#Anthropic#政策/监管

  19. 集微网
    AI 评分60

    Anthropic IPO招股书显示7位联合创始人各持约1.4%股份

    Anthropic周一披露的IPO招股书显示，7位联合创始人各持有约1.4%股份，按上一轮9650亿美元估值计算，每人财富均超过130亿美元。若IPO实现投资者提出的2万亿美元估值目标，在不计入新股稀释的情况下，每人身家将升至270亿美元以上。创始人在致潜在股东信中称，AI和Anthropic代表着历史上最大经济机遇之一。

    同一事件 · 128 条报道

    #行业动态#Anthropic

  20. 集微网
    AI 评分78

    Anthropic递交IPO招股书，美媒称其上市将考验整个AI产业

    Anthropic已正式递交IPO招股书，最早可能在下个月上市，此次IPO可能筹集1000亿美元。招股书披露其未来十年计划在数据中心、芯片和云计算上投入高达8070亿美元，但第三季度营收168亿美元、环比增长45%，增速低于第二季度的141%。《纽约时报》称，这次上市将首次让外界深入了解支撑AI热潮的关键企业经营状况，并检验芯片、数据中心等巨额投入的可持续性。

    同一事件 · 128 条报道

    #行业动态#OpenAI