OpenAI称其AI破解了一个90年的数学难题,一位数学家却说这用的是他自己的成果

周二是AI新闻里少见的一天,先是一项真正的数学突破,紧接着就是一场关于这份功劳究竟该算谁的争执。与此同时,两家截然不同的公司在AI基础设施上下了完全不同的赌注,印度一位板球守门员用两天时间改写了一项存在数十年的纪录。

OpenAI称自己破解了一个90年的数学难题,但不是所有人都在鼓掌

9月8日,OpenAI宣布,其一个尚未发布的内部模型,联合最多一万个AI智能体协同工作约88小时,完成了纳维-斯托克斯方程存在性与光滑性问题的证明。这是克雷数学研究所在2000年设立的七个千禧年大奖难题之一。这组方程描述的是水和空气这类流体如何运动,近一个世纪以来,数学家始终无法确定地回答光滑、规则的流体运动是否会突然崩溃,形成所谓的奇点。OpenAI的模型发现答案是肯定的:证明描述了一个漩涡在有限时间内不断收紧、缠绕自身的过程,而流体的总能量始终保持在有限范围内。之后,公司面向公众的模型GPT-6 Astra又花了17个小时,把这套论证在Lean中形式化,这是数学家用来对证明中每一个逻辑步骤进行机器验证的软件。OpenAI表示无意领取这100万美元奖金,而外部数学家仍需独立确认这一结果是否符合克雷研究所自己设定的标准。

这份公告是在纽约大学数学家特里斯坦·巴克马斯特在网上宣布之后的第二天发布的。巴克马斯特此前称,他和合作者列文特·阿尔珀格在一个相关方程上取得了自己的突破,期间大量使用了AI编程工具。巴克马斯特后来指控,OpenAI得知了这对搭档尚未发表的方法,并在自己的证明中采用了类似方法,他还称OpenAI研究员塞巴斯蒂安·布贝克曾施压要求把阿尔珀格从共同作者名单中去掉,阿尔珀格虽在Anthropic任职,但这项研究并非代表该公司进行。巴克马斯特说,当他威胁要把这场争执公开时,布贝克对他说:“你为什么要毁掉自己的前途?”布贝克公开将这些指控称为”虚假且带有煽动性”,并表示自己在整个过程中都严格遵循了正常的学术规范。另一方面,菲尔兹奖得主陶哲轩称赞巴克马斯特和阿尔珀格自己的成果是一项真正的突破,但他几天前也曾提醒,如果AI得出证明的过程始终是一个黑箱,那么即便证明本身经得起检验,它对数学界的价值也几乎为零。

这两件事可以同时成立:经过Lean验证的这份证明是一项真实的技术成就,而它是如何产生的这个故事如今确实存在争议。围绕两者的争论恐怕还会持续一段时间。

高通与亚马逊的协议最高可能价值600亿美元,但今天,它是一份40亿美元的协议

9月8日,高通与亚马逊云服务AWS宣布了一项跨越多代产品的合作,双方将共同设计面向AWS数据中心的定制AI推理芯片和高速光互连技术。作为协议的一部分,高通向亚马逊发行了认股权证,允许其以每股161.26美元的价格购买2500万股高通股票,如果亚马逊行使全部权证,这笔股份价值约40亿美元。

这份协议中那个更醒目的数字,也就是最高600亿美元,并不是一份确定的订单。它只是一个上限:只有当亚马逊真正下单并完成对高通服务器芯片及相关技术的采购时,认股权证才会分批解锁,高通表示,2500万股中已有375万股,也就是15%,已经根据亚马逊的初期采购承诺解锁。也就是说,这份协议是真实的,今天也已经部分兑现,但600亿美元这个头条数字描述的是亚马逊在未来多代芯片中最多可能花费多少,而不是它已经花了多少。消息公布后高通股价上涨超过3%,说明投资者即便面对这份部分承诺,也把它视为公司摆脱数十年来智能手机芯片业务标签的一次有意义的努力。

Mistral完成了欧洲科技史上规模最大的一轮融资

法国AI公司Mistral在9月8日完成了一轮30亿欧元的D轮融资,投后估值超过210亿欧元,该公司及多家跟踪欧洲融资情况的媒体都将其称为欧洲科技公司迄今筹集的最大一笔单轮股权融资。

本轮融资由三星电子领投,由EQT管理的Scaleup Europe基金与现有投资者PSG Equity联合领投。新加入的投资者包括Advent、贝莱德管理的基金以及卢森堡政府,加入的还有一长串现有投资者,包括Andreessen Horowitz、阿斯麦、General Catalyst、Lightspeed、英伟达和Salesforce Ventures。Mistral表示,这笔资金将用于扩充自身的计算基础设施,其中包括公司将完全自持而非仅仅租用的数据中心,同时也将投入研究和国际商业拓展。

Mistral将自己定位为对抗主导前沿AI领域的美国和中国实验室的欧洲答案,其立足点是欧洲各国政府和企业希望拥有能够在自己国土上托管和掌控的AI系统。公司成立仅三年就完成如此规模的融资,是迄今为止最清晰的信号:包括三星这样的大型硬件厂商在内的投资者,愿意为这个赌注押上重注。

印度一位板球守门员改写了一项存在数十年的纪录

在金奈举行的杜里普杯决赛中,东区队队长兼守门员伊尚·基尚在对阵南区队时,以334球轰出270分,这局比赛中他打出30个四分和7个六分,帮助球队拿下708分的总成绩。他在越过250分后曾因伤短暂退场休息,随后又重新回到场上继续击球。

这局比赛是该项赛事历史上第八高的个人得分,也是杜里普杯历届决赛中守门员球员的最高得分纪录,超过了迪内什·卡蒂克此前保持的183分。基尚是该项赛事历史上第三位打出两百分的东区队球员,也是首位在决赛中做到这一点的守门员兼队长。同一场比赛中,他的一级板球生涯总得分也突破了4000分。印度前板球明星尤夫拉杰·辛格公开称赞这局比赛特别出色,基尚事后表示,自己最好的状态往往是在压力之下打出来的。

这样的个人纪录并不总能转化为团队的胜利,但部分建立在如此强势一局之上的708分总成绩,已经让东区队在决赛接下来的比赛日里占据了明显优势。

这四条新闻没有共同的行业,但它们都指向一个值得停下来想一想的问题:一项突破诞生时,功劳究竟该归给谁,而我们对它究竟是怎么发生的又真正了解多少。OpenAI希望为一份它自称主要由AI独立完成的数学证明争得功劳,一位数学家却说真实的故事远比这复杂。高通希望为一份最高600亿美元的协议争得功劳,而这份协议眼下其实只值40亿美元。在今天这份汇总里,唯一没人争论的一条,就是记分册上伊尚·基尚名字旁边写着的那个270。