OpenAI用2000美元解10题，核心胜在系统而非智商
纵横读书 第1291天昨天科技圈最劲爆的消息，莫过于OpenAI发布了代号"Astra"的新模型。此举在学界引发了巨大震动：OpenAI仅耗费2000美元算力，便解开了10道困扰人类十年的数学谜题，涵盖群论、编码理论及量子复杂性等尖端领域。媒体多将其渲染为"AI新突破"或"数学家将失业"，但细读《系统之美》便会明白，这背后的逻辑远非单纯的"智商碾压"。接下来，让我们用系统思维重新审视这一事件。核心在于，Astra并非靠算速或参数取胜，其真正底
OpenAI掌门人本周于华盛顿展示全新模型系列Astra
据三位获悉相关方案介绍的消息人士透露，OpenAI掌门人Sam Altman于本周在华盛顿向政府官员和监管机构展示了该公司即将面世的全新模型产品线——"Astra"。消息人士指出，"Astra"在应对耗时较长任务方面的能力将得到显著强化。不过，截至目前，OpenAI尚未对外披露该模型的具体推出时间。
消息称OpenAI上市计划或延至明年
掀起全球人工智能浪潮的OpenAI，已被对手Anthropic甩在身后。眼下，这家公司正拼命寻求逆转。 OpenAI主打消费产品ChatGPT增速明显疲软。萨姆·奥特曼原本的继任者菲吉·西莫离职，迫使首席执行官麾下高管重新分配职责。销售部门不得不借助批量折扣和各类优惠措施，付出巨大成本争夺高价值企业客户。 多位参与相关沟通的人士透露，近几个月，OpenAI部分核心投资方私下里表达忧虑：这家初创公司烧钱速度太快，营收增速跟不上；另一些投资者则选择分散风险，同时向Anthropic投入资金。 与此同时，借助代
OpenAI新模型Astra引关注：长时程Agent开启新赛道
随着GPT-5.6系列模型降价，OpenAI再次传出下一代模型的最新消息。 据《The Information》披露，OpenAI正筹备推出暂名为“Astra”的新模型系列，核心在于增强模型处理长周期任务的能力。据悉，OpenAI首席执行官Sam Altman近期在华盛顿向政策制定者及监管机构展示了该模型，演示内容涵盖多个AI Agent在长时间跨度下的协作、攻克复杂项目及高阶数学难题。 截至目前，OpenAI尚未正式敲定Astra的名称、发布日期及最终产品定位。外界纷纷猜测，Astra究竟是会以GPT-
OpenAI新模型Astra一举破解十项数学难题
来源：新智元OpenAI还有大招！奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！这249页的PDF，在整个数学圈都是非常炸裂的程度。论文：https：//cdn.openai.com/pdf/ten-proofs-oai.pdf证明：https：//openai.com/index/ten-advances-in-mathematics/Github开源Lean证明：https：//github.com/openai/ten-proofs数学家、美国数学学会Fellow、罗格斯大学
OpenAI高层为何焦虑？
上周K3导致美股震荡的余波未平，这周又上演了一出更荒诞的戏码。OpenAI一位新晋高管，履职尚不足两周，便公开发表长文抨击Kimi K3的开源策略。他先是称赞K3“表现卓越”，随后却调转矛头——声称免费开放是弊大于利，会让投资者丧失对AI领域的注资热情。更令人咋舌的是，他提议美国政府只需轻描淡写地表态，暗示中国AI模型可能存在漏洞，不够安全。硅谷瞬间沸腾。白宫AI顾问毫不客气地反驳：商业角逐就该是商业规则，别把政治当成攻击工具。资深投资人表态：未来的主导权归开源所有。一位工程师的言辞更为犀利：美国AI企业
OpenAI进军智能音箱市场面临亏损风险
今年早些时候，前OpenAI高管Fidji Simo提醒员工，公司面临错失良机的风险，原因是被“次要任务”分散了精力，特别是那些像Sora这样烧钱的软件项目，OpenAI已在四月关停了该网站。本周，彭博社的Mark Gurman透露了OpenAI硬件研发的最新动态，称其首款自营设备将是一款“类人”的可充电智能音箱。对于一家处于亏损状态的企业而言，这正是Simo极力避免的情景。2026年，智能音箱及显示器市场并未出现增长。全球设备追踪部门主管Jitesh Ubrani指出：“从趋势上看，该市场已停滞许久，预
AI编程与具身智能：行业整合加速
7月19日，OpenAI 宣布收购德国初创公司 Ona（前身为 Gitpod）。Codex 的周活用户已突破 500 万，但一直有个痛点：关闭电脑后，任务就会中断。Ona 的云端开发环境正好弥补这一不足——以后你可以在睡前交付一个大型重构任务，醒来查看结果。这是 7 月 AI 编程领域的第三起重大整合：SpaceX 以 600 亿美元收购了 Cursor，Anthropic 推出了 Ode 企业驻场工程师，现在 OpenAI 补全了 Codex 的持久化能力。值得关注：行业竞争已从“谁的模型更强”转向“谁
AI 人物志：Peter Steinberger 与 Agent 新范式
近期计划开展一项工作，即每周深入探究一位人工智能领域举足轻重的人物。鉴于 AI 技术日新月异，各类新模型与产品层出不穷。然而，我更渴望知晓这些变革背后的推动者曾有何种经历、做过哪些贡献，以及他们如何洞察 AI 的本质。因此，我打算持续追踪此类人物，并将心得公之于众。我首要研究的对象，名为 Peter Steinberger。选择他的原因在于，若回望 2026 年智能体（Agent）的发展轨迹，他或许是一个无法忽视的关键角色。他并非专注于大模型训练的科学家，也未提出全新的模型架构。到了 2026 年，他广为
OpenAI 高管评 K3：开源冲击闭源商业逻辑
2026 年 7 月 19 日，OpenAI 战略未来部门主管 Dean Ball 发表文章，对月之暗面近期推出的 Kimi K3 展开了全面剖析。Dean Ball 身为美国 AI 政策专家及技术战略学者，长期深耕人工智能、尖端科技与科技治理等领域。在加入 OpenAI 之前，他曾任美国白宫科技政策办公室（OSTP）人工智能与新兴技术高级顾问，同时担任美国国家科学基金会（NSF）AI 战略顾问，深度参与美国早期 AI 政策构建。2026 年 7 月，他正式入职 OpenAI，出任新组建的 Strateg
AI前沿动态｜2026年7月19日：具身智能三年倒计时开启、文远知行推出物理AI大模型、影视飓风AI课程单日狂揽490万
华韵大成AI读书会，小龙助理整理具身智能2028年"ChatGPT时刻"倒计时正式拉开帷幕。银河通用机器人创始人王鹤在WAIC 2026上明确指出，2028年具身智能将迎来类似iPhone时刻的集中爆发，这一表态与黄仁勋"机器人工厂"产能爬坡的推进节奏高度契合，全球机器人产业正式开启三年倒计时。NVIDIA推出Nemotron 3 Embed系列，8B版本登顶RTEB检索基准，在语义检索领域刷新全球纪录，再次印证NVIDIA不仅深耕芯片领域，其AI软件栈同样拥有统治级实力。文远知行在WAIC 2026重磅
OpenAI CFO力推「每美元有用智能」指标：AI投资回报评估新标准
数据窗口：2026-07-18 08:30 ~ 2026-07-19 08:30 (UTC+8) 本期采集 14 个源 / 原始约 65 条条目 / 20 条入选 ⚠️ 数据覆盖说明：周日多源未更新；Google DeepMind、Meta AI、xAI、Mistral、GitHub Trending、HN、HuggingFace、机器之心、量子位今日未成功采集（网络限制）；arXiv 周六日无新投稿，本期论文为周五（7月17日）最新批次。今日无新发布。今日未成功采集（网络限制）。今日未成功采集（网络限制
AI颠覆几何猜想，数学界见证AI新突破
AI在数学领域的声誉曾饱受质疑：被指责"从文献中抄袭答案"。这次不同了。OpenAI的AI求解器近期成功破解了一项延续数十年的几何猜想，并推翻了原有结论。更重要的是，OpenAI主动邀请国际数学家团队进行独立验证，最终获得多位权威专家的明确认可。01 一次有备而来的逆转七个月前，OpenAI因宣称解决多个埃尔德什问题时被指"检索已有答案"，遭学术界广泛质疑。那次经历让OpenAI深刻认识到：AI从事数学研究，必须主动接受外部验证，而非仅在论文中宣称"已解决"
AI赛道竞争升级：模型之外的新战场
苹果上周五发起重大诉讼，指控OpenAI系统性窃取硬件设计等商业机密，这场"热核武器级"的法律交锋标志着AI竞赛进入新阶段——竞争焦点正从模型转向硬件和完整生态，而特朗普政府同时酝酿开源AI行政令，加剧了全球AI格局的不确定性。苹果起诉OpenAI窃取商业机密，同时特朗普政府考虑开源AI行政令，AI竞争从模型转向硬件和地缘政治。•苹果上周五起诉OpenAI，指控其系统性窃取硬件设计和制造细节。•特朗普政府被曝正起草行政令，应对中国开源AI模型的安全风险。•商务部放宽阿联酋AI芯片出口管制，允许其无需许可证
OpenAI大幅降价背后：Kimi K3发布揭示AI竞争新格局
7月18日，一个值得关注的节点出现了。奥特曼公开表态，若市场有需求，GPT-5.6 Sol的价格仍可进一步下调，最高降幅达75%。这番言论的发布时间，颇为微妙。就在前一天，月之暗面正式推出了Kimi K3。这款开源模型拥有2.8万亿参数，支持100万Token上下文，在多项公开评测中已接近GPT-5.6 Sol和Claude Fable 5的水平。当然，仅凭时间上的巧合，还不足以断定两者有直接关联。但若将其置于过去一年全球大模型竞争的大背景下，这两个事件放在一起审视，便显得意味深长。过去一年，国内开发者使