9月22日,OpenAI突然宣布成立数学与AI顾问组,这招引发学界震动。这个由九位顶尖数学家组成的团队,直接进驻普林斯顿高等研究院,完全独立于OpenAI运作。更让外界震惊的是,公司透露一个神秘模型已解决100多个数学难题,其中包括引发争议的纳维-斯托克斯千年大奖题。
顾问组成员包括巴黎高师、剑桥大学、斯坦福大学等名校教授,名单里甚至有爱因斯坦同窗爱德华·威滕。他们有权提出公司未要求的建议,能公开评论OpenAI对数学的影响,甚至能自主调整成员构成。但有个关键限制——不参与公司内部数学研究的推进节奏。
这份名单堪称数学界顶流阵容:有菲尔兹奖得主蒂莫西·高勒斯,也有在微分方程领域颇有建树的马丁·哈勒。成员们不从OpenAI拿工资,完全以学术身份参与。他们像独立智库一样,既不干预公司日常运营,也不参与具体项目进度。
值得关注的是,这个神秘模型在数学界引发的连锁反应。解决纳维-斯托克斯方程这类百年难题,意味着AI在数学证明领域取得实质性突破。虽然OpenAI未透露模型具体细节,但这次成果已让数学界重新审视AI工具的潜力。
这个跨界合作模式或许预示着未来趋势——顶尖科学家与AI企业的深度协作。当数学家们能直接参与AI模型的训练与验证,或许会催生更多突破性发现。