
8月,OpenAI召集约40位数学家,探讨人工智能在数学领域超越人类能力的应对策略。据与会者透露,该公司暗示其模型已解决数百个长期存在的数学难题,但承诺不会一次性公开所有解法,并就发布方式寻求建议。然而,OpenAI发言人林赛·麦卡姆对此表示“不知情”。
西北大学数学家布赖娜·克拉回忆,与会者反应“既兴奋又恐惧”,并呼吁OpenAI通过正式论文而非博客或推文公布结果,以便学界消化验证。但她指出,这一建议似乎被忽视。知情人士透露,OpenAI计划将8月会议提及的数百个结果上传至GitHub。麦卡姆随后确认,新内部模型已解决纳维-斯托克斯方程等100多个开放性问题,但尚未设定具体发布时间。
学术规范让位于商业竞争
顶尖数学家批评OpenAI及其竞争对手Anthropic为筹备IPO,将数学领域变为展示模型的“游乐场”,抛弃了传统的成果发布与归属机制。9月,纽约大学教授特里斯坦·巴克马斯特指责OpenAI在其与Anthropic员工莱文特·阿尔波格合作期间,抢先将部分千年大奖难题的解决方案部署上线。
据会议纪要显示,在协商署名权时,OpenAI研究员塞巴斯蒂安·布贝克暗示阿尔波格不应列入作者名单,以免使情况“复杂化”,并提及对Anthropic动向的担忧。当巴克马斯特威胁向媒体揭露此事时,布贝克疑似发出职业威胁,称“如果你不想我客气,那我就不必客气”。布贝克此后引用公开声明否认曾要求排除阿尔波格。纽约大学访问教授内斯托尔·吉列恩形容此类行为带有“黑帮行径”色彩,麦卡姆则予以否认。
学界焦虑与行业回应
吉列恩指出,数学界的焦虑源于权力向AI公司的集中。尽管OpenAI于9月中旬组建顾问小组以维护学术标准,但数学家认为进展甚微。业界持续通过非正式渠道发布结果,增加了验证难度并忽略了前人工作。为此,部分学者建立了Hexagon和Palomar等工具,以梳理和注册机器验证的数学成果。
克拉作为《莱顿宣言》共同撰写人之一,指出OpenAI并未改变其行为模式。尽管公司内部有员工认为技术将终结数学研究,但麦卡姆强调公司正与学界合作导航未来。布贝克则认为AI将扩大数学家的工作影响力,而非终结其职业生涯。
面对变革,数学家们正努力适应并装备年轻一代。克拉表示,虽然这是一个“可怕”的时刻,但也提供了思考更宏大问题的契机,前提是科技公司能提供更透明的披露以建立信任。