标签: OpenAI

  • OpenAI秘密递交IPO申请,万亿估值瞄准史上最大科技上市

    OpenAI秘密递交IPO申请,万亿估值瞄准史上最大科技上市

    5月22日,OpenAI向美国证券交易委员会(SEC)秘密提交了IPO招股书,目标估值超过1万亿美元,最早可能在2026年9月正式上市。如果成功,这将成为科技史上规模最大的IPO之一。

    这事儿其实早有征兆。5月17日,马斯克起诉Sam Altman的案件被陪审团一致驳回,OpenAI最大的法律不确定性一下子消失了。紧接着,他们就请来了前DocuSign首席财务官Cynthia Gaylor担任首任投资者关系负责人——这动作摆明了就是在为上市做最后准备。

    OpenAI当前ARR(年度经常性收入)为250亿美元,周活跃用户超9亿,付费订阅用户超5000万。按1万亿美元估值计算,市销率高达40倍。

    钱烧得很快,但收入涨得更快

    看一下数据就明白为什么OpenAI敢要这么高的估值。2026年3月31日,他们刚完成一轮1220亿美元的私募融资,投后估值8520亿美元,投资方包括亚马逊(500亿)、英伟达(300亿)、软银(300亿)。如果IPO真的按1万亿估值定价,比三个月前又涨了17%。

    收入结构也挺有意思。企业收入占比已经超过40%,预计2026年底就能和消费者收入持平。API每分钟处理150亿tokens,这个量级说明企业客户正在大规模接入OpenAI的能力。不过话说回来,他们现在还在亏钱,2026年预计运营亏损约140亿美元,主要花在算力采购和留住顶尖研究员上(听说顶级研究员签约奖金能到1000万美元)。


    为什么现在急着上市?

    一个很直接的原因是:Anthropic跑得太快了。2026年Q2,Anthropic营收109亿美元,年化收入436亿美元,还实现了首次运营利润5.59亿美元——比自己定的2028年盈利目标提前了两年。Claude Code上线才6个月,企业编程收入就超过了OpenAI。OpenAI肯定不想等Anthropic的财务数据变成公开市场可比标的之后,再让别人来定AI公司的估值基准。

    还有一个关键是微软的配合。2026年4月,OpenAI和微软修订了合作协议,微软放弃了部分独家权利,换取营收分成安排。调整后,OpenAI可以更灵活地在AWS、谷歌云销售服务,同时保留Azure作为核心基础设施合作伙伴。微软目前持有OpenAI约27%的股权,如果上市前不理顺这个关系,公开市场投资者肯定会打个折扣。


    上市后会发生什么?

    按目前的时间表,2026年Q3是招股书修订和路演筹备期,Q4(10-11月)是最可能的上市窗口。上市后,锁定期通常90-180天,也就是说2027年早中期,内部人士和后期私募投资者就可以出售股票了。

    对行业来说,OpenAI的IPO会第一次把AI公司的真实经营数据——算力成本、客户流失率、毛利率——摆到公开市场的桌面上。Anthropic、xAI、Mistral这些实验室的估值,都会参照OpenAI的公开估值倍数重新定价。以前大家都在暗处比谁融得多,现在要拿到太阳底下比谁赚得多了。

    • OpenAI IPO完成后,AI行业将首次拥有公开市场的估值基准
    • 强制季度财报披露将重塑全市场对AI公司的估值逻辑
    • 此前无法直接投资前沿AI的机构投资者将获得首个流动性入口
  • GPT-5.6曝光了,OpenAI砸钱宣战:换掉Claude Code

    GPT-5.5发布才三周,GPT-5.6的内部测试代码就被曝光了。OpenAI的迭代速度快到让同行连喘气的机会都没有。

    GPT-5.6开发曝光
    知名爆料人Leo曝光GPT-5.6已进入内部测试阶段(图源:36氪)

    OpenAI加速爆更,Codex将狂飙3倍

    GPT-5.6还没正式亮相,OpenAI的产品端已经先炸了一波。有爆料称OpenAI将在本周四上线「ultrafast模式」,速度提升2-3倍,专为延迟敏感型任务提供最快的可用响应。

    同步推进的还有图像模型的A/B测试更新,就是那个在Image Arena排行榜上以+242分断档领先的gpt-image-2。要知道OpenAI在速度优化上早就有布局,今年3月GPT-5.4发布时,Codex的/fast模式已经实现了1.5倍加速。后来GPT-5.3-Codex-Spark更是借助Cerebras芯片,把推理速度拉到了超过1000 token/秒,是普通模式的15倍。

    而这次的ultrafast模式,直接在主力模型上实现2-3倍提速。不是阉割版,不是小模型替代,是正儿八经的旗舰模型加速。对于开发者来说,Agent循环、长任务流水线、浏览器自动化,所有需要等待的场景,体验将直接起飞。

    OpenAI的目标不再止步于AGI,而是直指ASI(超级智能)。当模型迭代速度由AI自身驱动,通往ASI的飞轮已经开始自转。

    全面开战!Codex vs Claude Code

    硅谷最戏剧性的一幕出现了。赶在OpenAI「ultrafast模式」上线之前,Anthropic放出了Opus 4.7 Fast模式,提供比Codex更快的高级推理、更优的长上下文编码,以及更流畅的氛围编码体验。

    真正激烈的一幕,就是Codex和Claude Code的全面开战。Anthropic率先出招,从6月15日起,为付费订阅用户每月提升50%的编程额度,全面覆盖Claude Agent SDK、命令行工具claude -p,以及深度集成GitHub工作流的Claude Code。

    Codex vs Claude Code
    OpenAI与Anthropic的编程工具大战已然开启

    OpenAI的反应非常迅速,祭出了一招堪称「重磅级补贴」的操作——在接下来30天内,任何想从其他平台切换到Codex的企业,都将获得2个月的免费使用权。奥特曼更是亲自下场带货,直言「Codex才是目前市面上最强的AI编程产品」。

    2个月免费,按Pro计划200美金/月的标准算,等于直接送了400美元的使用权。这种怼脸开打的战局,看呆了整个硅谷。OpenAI的意图非常明确:趁Claude Code用户还在犹豫,直接拿出钱砸出一条迁移的通道。


    当迭代速度逼近ASI

    把视野拉到最高的维度,GPT-5.6和编程大战,表面上是两件独立的事。但把它们放在一起看,一个远比任何单一事件都更深刻的趋势浮现了——AI的自我加速和商业化,正在形成正反馈飞轮。

    一方面,模型在加速进化。GPT-5.3-Codex是OpenAI首个「参与自身训练」的模型。到GPT-5.5,OpenAI内部85%的员工每周使用Codex。GPT-5.6的开发,几乎可以确定是在GPT-5.5的深度参与下进行的。AI在帮OpenAI造更强的AI。

    另一方面,编程工具的普及正在释放前所未有的工程产能。Codex 300万周活跃用户,Claude Code用户数同样在爆发式增长。当数百万开发者把AI编程工具当作日常效率神器,AI生成的代码又反哺回AI的训练和部署,这个循环的速度只会越来越快。

    • AI参与自身训练和部署,形成自我强化循环
    • 编程工具普及释放工程产能,加速产品迭代
    • 两家万亿级公司用「补贴战」加速AI普及
    • 通往ASI的飞轮已经开始自转
  • OpenAI冲刺IPO:万亿估值背后,是与Anthropic的生死时速





    OpenAI冲刺IPO:万亿估值背后,是与Anthropic的生死时速


    保密招股书已经递交,OpenAI要抢跑了

    2026年5月22日左右,OpenAI向美国证券交易委员会(SEC)提交了一份保密S-1草案注册声明。这是什么意思?简单说,就是他们正式启动了IPO流程,但可以先不公开财务数据,跟监管机构私下沟通修改材料,自己选个合适的时机再公之于众。

    牵头这次IPO的是高盛和摩根士丹利,摩根大通也参与了。这个投行阵容很有意思——华尔街两家顶级投行坐镇,说明OpenAI这次是玩真的,不是闹着玩的。

    OpenAI的计划是在2026年第四季度,也就是劳动节(9月初)到感恩节(11月底)之间完成上市。如果一切顺利,最早2026年9月我们就能在公开市场上买到OpenAI的股票了。

    估值目标1万亿美元,但事情没那么简单

    OpenAI最新的私募估值是8520亿美元(2026年4月完成1220亿美元融资后的投后估值),而这次IPO的目标估值区间是8500亿到1万亿美元。如果按1万亿美元估值上市,OpenAI将成为有史以来估值最高的科技公司IPO。

    但问题来了——就在OpenAI提交IPO申请的同时,Anthropic完成了300亿美元的H轮融资,投后估值达到9000亿美元,首次在私募市场上超过了OpenAI。而且Anthropic的营收增长更猛,Q2 2026预期营收109亿美元,是Q1 48亿美元的2.3倍,还首次实现了5.59亿美元的运营利润。

    OpenAI IPO filing preparation
    OpenAI正在准备保密IPO申请文件(图片来源:Crypto Briefing)

    为什么要现在递交IPO申请?

    原因很简单——OpenAI需要抢在Anthropic之前上市,掌握AI实验室IPO的估值定价权。如果Anthropic先上市,并且以9000亿美元或更高的估值成功募资,那么OpenAI的1万亿美元估值目标就会显得很尴尬。

    还有一个关键背景:马斯克起诉OpenAI的案件已经被陪审团驳回。这个法律障碍的清除,为OpenAI的IPO扫清了道路。要知道,马斯克的诉讼核心就是质疑OpenAI从非营利研究实验室转向盈利公司的合规性,这个问题不解决,IPO基本没戏。

    IPO之后,OpenAI会变吗?

    会,而且变化会很大。一旦成为上市公司,OpenAI就要面对季度财报压力,要跟华尔街解释每一分钱的花费,要证明自己能赚钱。

    • 定价会更刚性:现在还能跟OpenAI谈折扣、谈定制条款的企业客户,上市后就没这个待遇了。预计折扣空间会收窄15%-25%。
    • 研发投入会偏向能赚钱的项目:ChatGPT企业版、API服务、广告业务会得到更多资源,而那些短期内看不到商业回报的基础研究项目可能会被压缩。
    • 合同条款会更严格:上市后不会再签署个性化的赔偿、数据驻留等定制条款,现有谈判中的合同建议尽快在上市前签署生效。

    S-1文件里会有什么猛料?

    目前保密的招股书将在IPO路演前15天公开,到时候我们能看到很多之前不知道的细节:

    • 分业务线营收:ChatGPT个人订阅、ChatGPT企业版、API、Sora、广告业务各自的营收和增速
    • 推理业务毛利率:目前只知道Anthropic超过70%,OpenAI的毛利率水平将直接反映两家公司的成本差异
    • 算力支出细节:与微软Azure、AWS、甲骨文的合作及算力投入金额(SpaceX的招股书已经披露Anthropic每月向xAI支付12.5亿美元算力租金)
    • 与微软的合作条款:收入分成、IP授权、AGI相关条款——这些一直是个谜

    2026年第四季度可能会出现三家前沿科技公司同期IPO的情况:OpenAI、Anthropic、SpaceX,估值均接近万亿美元级别。这将是科技史上最疯狂的一个季度。

    对普通人意味着什么?

    如果你是用ChatGPT的普通用户,短期内可能感觉不到太大变化。但中长期来看,OpenAI上市后为了追求利润,可能会推出更多付费功能,免费版的限制可能会更多。

    如果你是投资者,这次IPO是一个参与AI浪潮的机会。但也要注意,OpenAI目前还在亏损(预计2026年运营亏损约140亿美元),盈利时间表并不明确。上市不等于马上赚钱,这一点要有心理准备。


  • OpenAI声称解决80年数学难题,这次好像是真的

    80年前,匈牙利数学家保罗·厄多斯(Paul Erdős)提出了一个几何猜想,数学家们围绕它研究了大半个世纪。现在,OpenAI站出来说:我们的模型推翻了它。

    Erdős数学问题示意图
    厄多斯猜想相关数学问题示意图 | 图片来源:TechCrunch

    听到这个消息,第一反应可能是:又来了。7个月前,OpenAI前副总裁凯文·韦尔(Kevin Weil)在X平台上高调发文,说GPT-5找到了10个此前未解的厄多斯问题解决方案。结果被打脸了——那些”解决方案”早就存在于已有的学术文献中。竞争对手杨立昆和DeepMind首席执行官哈萨比斯都出来嘲讽,韦尔很快删了那条帖子。

    “近80年来,数学家们一直认为最优的解决方案大致类似方形网格。OpenAI的模型现在已经推翻了这一认知,发现了一种全新的构造家族,其表现更优。”

    这次有什么不同

    上次是野生宣传,这次OpenAI学乖了。随声明一同发布的,有数学家诺加·阿隆(Noga Alon)、梅兰妮·伍德(Melanie Wood)和托马斯·布鲁姆(Thomas Bloom)的支持性说明。布鲁姆是”厄多斯问题网站”的维护者,上次韦尔发那条不实帖子时,正是布鲁姆站出来说那是一条”严重歪曲事实”的声明。

    也就是说,这次站在OpenAI背后的,是上次亲手拆穿他们谎言的同一个人。如果连布鲁姆都认可了,可信度确实高了不少。

    OpenAI表示,这次给出证明的不是专门为解数学题训练的系统,而是一个新的通用推理模型。这意味着AI系统现在更有能力维持长链条的复杂推理,并且以研究人员此前未探索过的方式跨领域连接不同的想法。

    为什么这件事重要

    OpenAI在声明里说,这标志着”AI首次自主解决了一个数学领域核心的知名开放问题”。这话听起来有点自卖自夸,但背后的逻辑是成立的——如果一个AI系统能在纯数学领域给出人类未曾发现过的原创证明,那么它在生物学、物理学、工程学和医学领域的应用潜力就变得非常真实了。

    托马斯·布鲁姆说了一句挺有意思的话:”AI正在帮助我们更全面地探索我们数百年来建造的数学殿堂,还有哪些看不见的惊喜在等待我们去发现?”这话听起来有点文艺,但指向的问题很硬核:人类数学研究受限于人脑的推理链长度和信息整合能力,AI如果真的能突破这个瓶颈,整个基础科学的研究节奏都会被改写。


    当然,科学圈向来谨慎。OpenAI说它解决了,和数学界公认它解决了,是两回事。同行评议和程序化验证还在路上。但至少这次,OpenAI没有像上次那样提前开香槟。

  • OpenAI安全一把手Aleksander Madry离职,转去研究AI对经济的影响

    OpenAI 又少了一个关键人物。Aleksander Madry 本周四宣布离开公司,去搞一件新事情——研究 AI 对经济的真实影响。

    这个人不是普通员工。Madry 之前是 OpenAI 的『准备工作负责人』(head of preparedness),说白了就是管 AI 安全最关键的那个人。去年夏天他被调去搞 AI 推理方向,现在直接走了。

    他是谁,为什么重要

    Madry 在加入 OpenAI 之前是 MIT 的教授,专门研究对抗性机器学习——就是研究怎么让 AI 不被『骗』。他在学术圈的口碑很硬,2023 年加入 OpenAI 的时候,不少人觉得这下 OpenAI 的安全团队是真的要认真了。

    『准备工作团队』(Preparedness)是 OpenAI 内部专门评估模型是否『危险』的团队,负责设定安全红线——比如模型在什么能力水平下需要暂停训练。

    去年 Sam Altman 被董事会开除又回来的那场闹剧之后,OpenAI 的安全团队经历了好几轮震荡。Madry 被调离安全岗位,当时就有人觉得这是 OpenAI 在『弱化安全叙事』的信号。

    现在他彻底走了。OpenAI 最近几个月已经走了不少人——Andrej Karpathy 去了 Anthropic,现在 Madry 也离职。这个时间点挺微妙的,毕竟 OpenAI 正在准备 IPO。

    他要去做什么

    Madry 自己说要去搞『聚焦 AI 对经济影响』的新工作。具体是什么还没公布,但方向大概是研究 AI 到底怎么改变就业、产业、财富分配这些大问题。

    这个方向其实挺缺人的。现在大家都在卷模型性能,但 AI 对经济社会的真实冲击——哪些工作真的会被替代、哪些只是被改造——研究得还不够深。Madry 有学术背景又有 OpenAI 内部视角,搞这个方向确实有优势。


    OpenAI 这边还没对 Madry 离职发表正式回应。按这个人事流失的速度,外界迟早要问一句:OpenAI 到底还能留住多少人?

  • 马斯克诉OpenAI案败诉,9人陪审团一致裁定超时诉讼无效,索赔1340亿美元化为泡影

    2026年5月18日,加州奥克兰联邦法院,9名陪审员只用了不到两小时就做出了一致裁定:埃隆·马斯克针对OpenAI、萨姆·奥特曼等人的诉讼,因超出法定诉讼时效而被驳回。这场索赔金额高达1340亿美元的”世纪诉讼”,在没有触及任何实体问题之前,就因为一道程序性门槛戛然而止。

    埃隆·马斯克在达沃斯世界经济论坛
    埃隆·马斯克,特斯拉首席执行官,2026年1月22日于瑞士达沃斯世界经济论坛(图源:Bloomberg / Getty Images)

    诉讼时效:一道马斯克没跨过去的坎

    这场官司打到现在,核心争议其实根本不是”OpenAI有没有背叛非营利初心”——而是马斯克有没有在法律规定的时间内提起诉讼。OpenAI的律师团队提出的诉讼时效抗辩相当精准:马斯克指控的损害,分别发生在2021年8月5日、2021年11月14日和2022年8月5日之前,早已超出了对应指控的起诉时效。

    陪审团一致认为,马斯克可能遭受的任何损害都发生在法律允许提交索赔的截止日期之前。案件的结束意味着OpenAI面临的一个重大威胁——可能的重组——在传言的IPO之前已经消除。

    宣判后,法官伊冯娜·冈萨雷斯·罗杰斯直接说:”有大量证据支持陪审团的裁决,这就是为什么我准备当场驳回诉讼。”OpenAI的首席律师比尔·萨维特更是不客气:”陪审团不到两小时就得出结论……马斯克的诉讼不过是不符合事实的事后编造。”


    马斯克:我上诉

    败诉当天,马斯克在推特上发文,把程序性败诉包装成了某种”道德胜利”:”任何密切关注本案细节的人都不会怀疑,奥特曼和布罗克曼确实通过窃取慈善机构中饱私囊。唯一的问题是他们是什么时候做的!”他还明确表示要将案件上诉至第九巡回法院。

    马斯克的专家证人此前估算,OpenAI和微软从马斯克身上获得的不当收益在788亿美元到1350亿美元之间——但这个数字连同整个赔偿主张,都随着败诉化为泡影。法官在庭审中还直接怼了马斯克的专家证人一句:”你的分析和基本事实完全脱节。”

    OpenAI松了一口气

    这场诉讼如果朝对马斯克有利的方向发展,OpenAI可能面临重组、甚至被迫恢复非营利架构的风险。尤其是在OpenAI传言准备IPO的当口,这种不确定性对投资者信心是致命的。现在诉讼被驳回,至少在法律层面,OpenAI可以轻装上阵了。

    微软作为共同被告,也对裁决表示欢迎。该公司发言人称,将继续致力于与OpenAI的合作,”为全球个人和组织推进和扩展AI技术”。

    不过,马斯克的上诉还没完。第九巡回法院的审理周期通常以年计,这场”AI圈最昂贵的官司”离真正结束,可能还有很长一段路。但对OpenAI来说,至少眼下,最紧要的威胁已经解除。

  • OpenAI推理模型推翻80年数学猜想,AI数学能力真的起飞了

    5月20日,OpenAI宣布了一个在数学圈炸锅的消息:他们的一款内部推理模型,成功推翻了保罗· Erdős在1946年提出的「单位距离猜想」。这个问题困扰了数学界将近80年,现在被AI给解了。

    如果你对Erdős这个名字不太熟悉——他是20世纪最多产的数学家之一,一生发表了1500多篇论文,提出的开放问题多得数不清。这个「单位距离猜想」说的是:在平面上放一堆点,如果任意两个点的距离都是1(单位距离),那么这种点的排列方式有没有上限?

    Erdős猜想的答案可能是「没有上限」——你可以构造任意大的点集,使得所有点对的距离都是1。OpenAI的模型给出了一个新的构造方法,证明了Erdős的直觉是对的。

    为什么这次值得认真看待

    今年2月,OpenAI前副总裁Kevin Weil曾经宣称「GPT-5解决了10个Erdős问题」,结果被数学界集体打脸——那些「证明」经不起推敲,有些甚至是错的。

    但这次不一样。OpenAI找了Noga Alon和Melanie Wood这两位顶级数学家独立验证,结论是对的。这种级别的同行评议,基本等于把「AI证明」这件事从「噱头」提升到了「科研工具」的层次。


    菲尔兹奖得主也下场了

    就在OpenAI官宣的前几天,剑桥大学数学教授Timothy Gowers(菲尔兹奖得主)发了一篇博客,详细记录了他用ChatGPT 5.5 Pro做数学研究的经历。他的评价是:「这是我第一次真正感受到AI在数学推理上的突破。」

    Gowers用ChatGPT 5.5 Pro处理了几道博士级别的原创性数学问题,模型大约花了一个小时就给出了完整的解答过程。他自己动手验算了一遍,逻辑是通的。

    菲尔兹奖得主的背书分量很重。如果连Gowers都觉得「这玩意儿真的能干活」,那AI在数学领域的应用可能比我们想象的要快得多。

    对AI研究的启示

    这次突破的意义,不只是「AI会做数学题」这么简单。它说明了一点:大模型的推理能力已经开始触及「原创性思维」的边界

    过去我们觉得AI擅长的是「模式识别」——给它看成千上万道微积分题,它能学会做题的规律。但Erdős猜想这种问题,没有「题库」可以刷,需要的是真正的数学直觉和构造能力。

    • OpenAI的模型用的是「推理链」机制——它会自己分解问题、尝试不同的构造方法、反复验证每一步的正确性
    • 这种能力如果迁移到软件工程、芯片设计、药物发现这些领域,影响会是系统性的
    • 当然,目前还停留在「辅助研究」阶段,离「AI独立做科研」还有距离

    写在最后

    从2月被数学界打脸,到5月拿出经得起验证的证明,OpenAI用了大约三个月。这个节奏,比很多人预期的要快。

    AI会不会在不久的将来成为数学家的「标配工具」,就像现在的数学家离不开Latex和Mathematica一样?这个答案,可能比我们想象的更早到来。

  • OpenAI说这次真的解决了80年数学难题,上次的尴尬还记得吗?

    OpenAI说这次真的解决了80年数学难题,上次的尴尬还记得吗?

    如果你最近刷到OpenAI又双叒叕宣布”解决数学难题”的消息,第一反应可能是:又来?

    确实,这话听着耳熟。7个月前,OpenAI时任副总裁Kevin Weil在X上发帖,信誓旦旦地说GPT-5找到了10个此前未解的埃尔德什问题解决方案,另外11个也取得了进展。结果呢?被打脸了。那些”新解决方案”早就存在于现有文献中,压根不是什么新发现。

    那次翻车之后,Yann LeCun、谷歌DeepMind CEO Demis Hassabis等竞争对手轮番嘲讽,Weil也只能默默删帖。可以说OpenAI在数学证明这件事上,信用已经透支得差不多了。

    这次被解决的是保罗·埃尔德什(Paul Erdős)1946年首次提出的几何猜想。近80年来,数学家们普遍认为这个问题的最优解大致类似正方形网格。OpenAI的新推理模型把这种想法推翻了,发现了一种全新的构造族,性能更优。

    但这次,OpenAI好像真的没吹牛。

    这次OpenAI在X上发帖宣布消息时,还附上了数学家Noga Alon、Melanie Wood和Thomas Bloom的支持性评论。Bloom是Erdos Problems网站的维护者,就在7个月前,他还在社交媒体上称Weil的那条官宣是”戏剧性的不实描述”。这次他站出来背书,分量不轻。

    不是专门训练出来的”数学天才”

    OpenAI的说法是:这是”AI首次自主解决数学领域核心的著名开放问题”。而且特别强调,这个证明是由新的通用推理模型产出的,不是专门为了解这个数学题、甚至不是专门针对这个问题设计的系统。

    换句话说,这是个意外之喜,不是定向训练的结果。这意味着模型的推理能力已经强到可以在没有专门训练的情况下,自主产出原创的数学证明。

    这件事为什么重要?OpenAI的解释是:这意味着AI系统现在更有能力处理长难推理链,并且能以研究人员此前未探索过的方式跨领域连接想法。这对生物学、物理学、工程和医学都有重要意义。

    Erdős数学问题示意图
    埃尔德什问题相关数学示意图 | 图源:TechCrunch

    数学界会买账吗?

    Thomas Bloom的声明说得很漂亮:”AI正在帮助我们更全面地探索几个世纪以来我们搭建的数学殿堂。还有哪些未被发现的美妙事物正等待被发掘?”

    话是这么说,但数学界向来对计算机辅助证明持保留态度。1998年四色定理的证明用到了计算机穷举,至今仍有数学家觉得不够”优雅”。这次OpenAI给出的证明,能不能被数学界真正接受,恐怕还得看同行评审的结果。

    不过有一点倒是挺有意思的:上次的尴尬过去才7个月,OpenAI就端出了一个有数学家背书的成果。是模型能力真的跃升了,还是这次学乖了、先找好背书再开发布会?

    答案可能要等一等才能知道。但至少这次,OpenAI没有让自己再次成为笑话。


  • OpenAI把Codex搬进手机了,随时能写代码这件事到底靠不靠谱

    前几天刷到一条消息,OpenAI 把 Codex 搬到手机上了。没错,就是那个在桌面端帮程序员写代码的 AI 工具,现在你可以在手机上直接生成、审阅、甚至部署代码片段。对远程团队来说这是个挺实在的更新,毕竟不是所有人时刻坐在电脑前,等不及的时候掏出手机就能改两行代码,这种灵活性以前真的没有。

    手机写代码,真不是噱头

    Codex 移动端预览版直接集成在 ChatGPT 应用里,不需要额外安装。最实用的一点是它支持远程 SSH 连接,意味着你真的可以在手机上完成一段代码的审阅、修改、然后推到服务器。当然有人担心移动环境下的代码安全,这个顾虑是合理的,毕竟手机网络比办公网络复杂得多,敏感项目的操作还是得悠着点。

    OpenAI 这次把这个功能做成预览版,说明他们自己也很清楚——移动端编码这件事,体验和安全性都还需要迭代。

    有意思的是,几乎同一时间,Anthropic 的 Claude Code 产品负责人 Cat Wu 也在公开场合聊了类似的话题。她说 Claude Code 的开发思路是不预设宏大的整体规划,更看重迭代反馈而非僵化的路线图。这话听起来有点虚,但仔细想确实有道理——AI 编码工具这种东西,你很难在发布前就把所有使用场景规划清楚,用户怎么用、在哪卡住,这些反馈比任何前期调研都值钱。

    AI辅助软件开发
    AI 正在改变软件开发的节奏(来源:coaio.com)

    企业AI架构,风向变了

    还有一个信号值得注意。行业分析里开始出现一种声音:企业级 AI 系统开发,正在从「LLM 优先」转向「代码优先」。什么意思呢?过去一年多,大家一上来就想把大模型能力塞进系统,先把聊天界面搭起来,再想业务逻辑。现在有人意识到,这样做虽然出活快,但开发者对系统的深度理解会被掩盖, Demo 做得很炫,真正跑起来全是坑。

    新思路强调「代码优先」,说白了就是先把业务逻辑、数据结构、系统边界想清楚,再用 AI 工具去加速开发,而不是反过来。这个转变背后其实是教训——太多项目在规模化部署的时候翻车,技术债务堆到还不起。


    其他值得关注的动静

    AMD 这边也有动作,宣布给 RDNA2 和 RDNA3 架构的老显卡提供硬件加速的 FSR 4 超分辨率支持。通俗点说,就是你手里那张几年前的显卡,可以通过驱动更新获得更好的游戏画质,相当于变相延长了硬件寿命。对不想频繁换卡的用户来说,这算是个小惊喜,虽然性能上肯定还是有损耗的。

    医疗 AI 这边出了个警示案例。加拿大安大略省审计发现,医生用的 AI 笔记工具频繁虚构治疗建议和处方内容。这个问题其实不意外,大模型的「幻觉」在医疗场景下后果完全不同。行业里已经开始呼吁建立更严格的 AI 输出验证机制,但这件事真正做起来,比喊口号难多了。

    最后说个有点荒诞的事——美国太浩湖地区 4.9 万居民,正在和内华达州的一个 AI 数据中心抢电。能源供应商优先给数据中心供电,居民用电反而被挤压。AI 的扩张代价,最终是普通人在承担,这个问题只会越来越突出。

  • 2026年5月AI圈大事件:GPT-5.5来了,Kimi融资20亿美元,人形机器人走向工厂






    2026年5月AI圈大事件:GPT-5.5来了,Kimi融资20亿美元,人形机器人走向工厂

    5月的AI圈,信息量爆炸。OpenAI发布了GPT-5.5,国产AI企业Kimi即将完成20亿美元融资,人形机器人展览会在杭州开幕,苹果因为AI功能虚假宣传赔了2.5亿美元……如果你没时间每天刷新闻,这篇文章帮你一次性梳理完这个月的所有大事。

    GPT-5.5来了,这次主打”不胡说”

    OpenAI在5月发布了GPT-5.5 Instant,最核心的升级是”可靠性”。之前的版本在专业领域容易”一本正经地胡说八道”,5.5在医疗、法律、金融等高风险场景的准确性有了质的飞跃,幻觉率大幅降低。

    这个方向其实很明确:企业用户要的不是模型”能聊”,而是”说对话”。ChatGPT的使用量继续攀升,企业场景渗透加速,GPT-5.5算是踩在了正确的节奏上。

    AI行业的竞争,正在从”谁的模型更聪明”转向”谁的模型更可靠”。GPT-5.5的发布,是这个转向的一个标志性节点。

    Kimi即将完成20亿美元融资

    月之暗面旗下的Kimi即将完成一笔20亿美元的新融资,投后估值大幅攀升。这是2026年国产AI领域最大的一笔融资之一。

    Kimi这波势头很猛,长文本处理能力一直是它的招牌,现在融资到位,接下来在多模态、Agent方向的投入估计会加大。国产大模型这场仗,远没到终局。

    人形机器人走向工厂,不只是演示了

    5月14日至16日,HRTE 2026杭州国际人形机器人展览会举办,主题是”人形机器人赋能新型工业化”。多款新型人形机器人亮相,工业应用场景加速落地,产业链上下游企业集中展示。

    人形机器人正在从”实验室”走向”工厂”。2026年可能是人形机器人产业化的元年,这个判断现在看来越来越扎实了。

    苹果赔了2.5亿美元,AI虚假宣传的警钟

    苹果公司同意支付2.5亿美元,和解关于AI功能虚假宣传的诉讼。这件事给整个行业敲了一个警钟:AI产品的宣传必须实事求是,过度承诺的后果是很真实的。

    监管层面也在发力。AI生成内容的合规与安全成为新的关注重点,Deepfake(深度伪造)技术被滥用的案例持续增多。行业趋势正在从”炫模型”转向”拼安全”,安全性、隐私保护和系统集成能力正在成为新的竞争维度。

    其他值得关注的动态

    • Google把Gemini塞进了Gboard:AI不再是一个需要单独打开的App,而是融入了你打字的每一个瞬间。AI正在从”工具”变成”基础设施”。
    • 微软收购Fintool AI:将其全面整合进Office全家桶,Excel、Word、PowerPoint将获得更强大的AI金融分析能力。
    • 英伟达高层到访中国:带动A股AI板块集体上涨,汉得信息等AI全产业链概念股表现活跃。
    • 国内AI社区类产品市场爆发:市场规模同比增长182%,多款涵盖教育、办公、创作、社交的产品进入测试阶段。

    回顾这个月的AI圈,几个关键趋势非常清晰:模型能力持续提升,资本持续涌入,产业加速落地,安全成为新焦点。对于普通人来说,最重要的信息是:AI正在从概念走向实用。不管你是学生、职场人还是创业者,现在都是开始学习和使用AI的最佳时机。