ÉTAT HER

OpenAI一次发布722篇数学手稿 单一提示挑战372道难题惹议

OpenAI在GitHub公开722篇手稿,宣称在372道数学难题上取得进展,多数成果仅靠一句提示交给单一AI代理完成。然而内核模型、具体提示与运算时间均未公开,外界对结果真实性提出质疑。

OpenAI一次发布722篇数学手稿 单一提示挑战372道难题惹议

722篇手稿、372道数学难题,平均每个结果只花了约三小时的ChatGPT Pro用量——这是OpenAI这次公布的规模。但真正耐人寻味的是方法:据OpenAI告诉《Scientific American》,几乎每一篇论文都是用单一提示交给单一AI代理人完成的。

这批手稿全数上传到GitHub,由OpenAI新成立的顾问小组「数学与人工智能咨询委员会」(Advisory Group on Mathematics and Artificial Intelligence,AGMAI)确认。上个月OpenAI已先表态,称其模型「解决了横跨数学多数领域、超过100个长期悬而未决的问题」,这次等于把具体清单摊开。公司表示提出成果的是一个尚未对外发布的ChatGPT先导模型。

OpenAI声称的重点成果包括四维Kakeya猜想的解答、若干关键电脑算法的改良,以及在黎曼猜想上的进展——这三者任何一个若经证实,都足以成为数学界的大事。公司在发布文字中写道,这次先以GitHub保存库形式公开,附带论文修订与引用的机制,「同时仍在寻找符合委员会准则的其他社区托管方案」,并承诺未来的发布会在引用规范、数学论述与呈现方式上做得更完整。

但AGMAI建议的透明度,OpenAI只做了一半。委员会原本建议公开每个问题个别的运算时间与所使用的提示,OpenAI这次并未照做,只提供了整体的推理过程、运算估算与尝试问题的数量概况。换句话说,外界看得到结果清单,却看不到让人覆核这些结果是怎么跑出来的具体路径。

这正是争议的核心。在此之前,OpenAI的Navier-Stokes相关主张已经在数学界掀起一轮风波,让不少学者对「AI一次性解题」的说法保持谨慎。MIT数学家Andrew Sutherland告诉《Scientific American》:「除非他们发布模型、让人可以重现这些结果,否则任何关於单一代理人一次解题的说法,都应该视为未经证实。」

OpenAI公布的这批手稿,目前仍需数学家逐一查看验证,影响范围要等审查结果出炉才能判断。至于模型本身是否会对外开放、具体提示内容何时补齐,OpenAI尚未给出时间表。

延伸阅读

焦点解读|净损420亿美元又写下AI灭绝警告 Anthropic仍冲2兆美元IPO
Living

焦点解读|净损420亿美元又写下AI灭绝警告 Anthropic仍冲2兆美元IPO

重点整理:Anthropic的IPO草案罕见地在招股书中承认自家AI可能对人类构成「存在性风险」,同时揭露去年亏损420亿美元,估值却仍上看2兆美元。

再也不怕没电开不了门?Ring 新智能锁藏了个手摇发电机关
Living

再也不怕没电开不了门?Ring 新智能锁藏了个手摇发电机关

Ring 创办人 Jamie Siminoff 指出,电池耗尽的焦虑一直是智能锁难以普及的主因。新款 Smart Lock 因此内置手摇发电机制,紧急时转动把手即可供电开锁,预计 2027 年初以 249 美元上市。

先看 Google One 等级:Google 推出实验性游戏创作平台 Playground,打字即可做游戏
Living

先看 Google One 等级:Google 推出实验性游戏创作平台 Playground,打字即可做游戏

Google 新推出的 Playground 平台依会员等级分级开放使用,目前仅限美国 18 岁以上用户。不需写程序或绘图技能,只要输入几句提示词,就能生成 2D 或 3D 游戏。

760亿美元交易底定,Skydance 宣布 HBO Max、Paramount+ 将走向合并
Living

760亿美元交易底定,Skydance 宣布 HBO Max、Paramount+ 将走向合并

Skydance 证实旗下 HBO Max、Paramount+ 与 Discovery+ 三平台将分阶段整并为单一串流服务,此举伴随着 1100 亿美元收购华纳兄弟探索案的完成,但合并后服务名称与收费方式目前尚未公布。

并购尘埃落定!派拉蒙携手华纳兄弟,新东家挂牌「Skydance」
Living

并购尘埃落定!派拉蒙携手华纳兄弟,新东家挂牌「Skydance」

经过近一年谈判与监管关卡,这桩110亿美元交易终于拍板定案,双方正式整并为新公司Skydance,一并接手的还有高达800亿美元债务。

尘封25年终见天日!PS2初代安全芯片SPC970内部代码全数现形
Living

尘封25年终见天日!PS2初代安全芯片SPC970内部代码全数现形

开发者DiscoStarslayer与伙伴Libby靠着一个EEPROM写入漏洞,花四年时间成功从初代PS2的MechaCon安全芯片中取出firmware,相关22组映像档目前已公开在GitHub上。