OpenAI据悉计划采购谷歌AI芯片，进一步降低对英伟达的依赖
相关推荐
OpenAI正与Abilene合作开发另一款尚未发布的模型
Odaily星球日报讯 Crusoe 首席执行官透露，OpenAI 正与 Abilene 合作开发另一款尚未发布的模型，新模型旨在解决数学问题，OpenAI 的 Astra 模型在 Abilene 使用 GPU 生成。
SpaceXAI下周GPU总量将达100万块，马斯克称半年后领跑AI
动察 Beating AI 快讯，马斯克给 SpaceXAI 列出了追赶 OpenAI 和 Anthropic 的时间表。他称，未来 2 到 3 个月，有望做出达到 Anthropic Fable 和 OpenAI GPT-6 水平的模型。如果进步速度继续加快，约 6 个月后可以「占据领跑位置」。 他随后公布了 Colossus 的最新 GPU 数量。Colossus 1 有 15 万块 H100、5 万块 H200 和 3 万块 GB200；Colossus 2 有 11 万块 GB200 和 44 万块 GB300。两座数据中心合计约 78 万块，比此前外界估算的 67 万块更多。 另有 22 万块 GB300 将在下周全部投入运行，届时总量正好达到约 100 万块。11 月还将增加 22 万块。如果进展顺利，12 月底可能再增加 22 万块，总量达到约 144 万块。
OpenAI 计划购买谷歌 AI 芯片
火星财经消息，据 The Information 报道，OpenAI 计划购买谷歌的人工智能芯片。
OpenAI宣布证伪计算机领域沿用二十多年的重要理论「指数时间假设ETH」
火星财经消息，10 月 27 日，OpenAI 日前宣布，其 AI 模型「破解」了 ETH——这一消息迅速在科技圈和加密圈引发热议。但需要特别说明的是，这里的 ETH 并非加密货币领域广为人知的以太坊（Ethereum），而是计算机科学中一个存在了二十多年的重要猜想：指数时间假设（Exponential Time Hypothesis，简称 ETH）。 指数时间假设的核心问题是：那些看起来「特别难算」的问题，到底有多难？ 以部分人听说过的「SAT 问题」（布尔可满足性问题）为例，它是在问：给你一堆逻辑条件，能不能找到一种赋值让所有条件同时成立？当问题规模变大时，目前已知最好的办法基本上只能挨个尝试可能的答案，时间开销会随着规模呈指数级增长——也就是常说的「指数时间」。ETH 进一步断言，这类问题本质上就无法被大幅加速，不存在真正意义上的「亚指数时间」高效算法。 这个假设自 1999 年被提出以来，一直是理论计算机科学的重要基石。成百上千篇论文都基于它来证明「某某问题很难」「某某算法已经接近最优」。如果 ETH 被推翻，就意味着很多我们以为「几乎不可能更快」的问题，理论上或许存在更好的解法。 OpenAI 此次声称，其模型找到了一个确定性算法，能在亚指数时间内精确统计 k-SAT 问题的解的数量，并用 Lean 进行了形式化验证。如果这一结果最终经得起专家审查，它将直接动摇指数时间假设。
OpenAI 宣布 AI 取得三项科学突破
ChainCatcher 消息，据金十数据，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破，展现出 AI 独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。数学方面，AI 证明了适用于所有维度的局部平滑猜想，并由此解决 Kakeya 猜想和 Stein 限制猜想。计算机科学方面，AI 推翻了长期被广泛接受的指数时间假设，意味着未来可能找到速度更快的算法。物理学方面，AI 提出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。OpenAI 表示，数学和计算机科学成果已通过 Lean 数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。相关成果仍需学术界进一步独立确认。
OpenAI宣布三项AI科学新发现，称已证伪指数时间假说
PANews 10月27日消息，据OpenAI官方公告，其内部模型在数学、计算机科学和物理学领域取得三项新发现。其中，模型证明被数百篇论文用作计算困难性前提的指数时间假说（ETH）是错误的，结果已通过Lean形式化验证，将由该假说提出者Russell Impagliazzo、Ramamohan Paturi与MIT教授Ryan Williams领衔的小组核验。