OpenAI透露,其内部AI模型在近期提出纳维-斯托克斯(Navier–Stokes)方程这一千年大奖问题的潜在解法后,目前已攻克数学主要分支中超过100个长期悬而未决的难题。

“该模型在数学领域的演进速度令内部数学家感到惊讶。”OpenAI在博客文章中称。鉴于此,该公司正于高等研究院(Institute for Advanced Study)设立独立的“数学与人工智能咨询小组”。

回应学界担忧

此举紧随一份题为《数学中人工智能的严重错位》的公开信发布之后。包括陶哲轩、彼得·朔尔策和塞德里克·维拉尼在内的25位菲尔兹奖得主签署该宣言,对将解决开放数学问题作为AI系统基准的做法表示担忧。

数学家们指出,AI的快速进展可能带来负面外部性:过度聚焦答案而忽视深层理解;生成结果过快,导致社区难以充分解释、简化或与既往研究建立联系,进而引发归属权及抄袭疑虑。他们强调,AI虽能加速研究,但必须保留人类理解、讨论及融合新思想的过程。

小组独立运作

该咨询小组由九人组成,负责审查新兴成果、评估其重要性、协调传播,并为AI生成的数学研究设定学术与专业标准。首批成员包括弗朗索瓦·夏尔、卡米洛·德·莱利斯、蒂莫西·高尔斯、马丁·海雷尔、尼基尔·斯里瓦斯塔瓦、乌尔里希·蒂尔曼、拉维·瓦卡尔、爱德华·威滕和梅兰妮·马奇特·伍德。

OpenAI表示,小组将独立运作,成员有权行使判断力、挑战公司观点并公开发布建议。小组成员不从OpenAI领取报酬,自行控制成员构成,且不参与设定公司内部数学研究的节奏。OpenAI希望借此让数学家利用日益强大的AI工具探索研究问题并开发新思想。