调动上万智能体 仅用时88小时 OpenAI称破解困扰数学界90年难题
据英国广播公司网站9月9日报道,美国开放人工智能研究中心(OpenAI)表示,借助一款新的人工智能(AI)模型与约1万个智能体,该公司在很短时间内找到了一道困扰人类数十年的高等数学难题的解法。
OpenAI周二说,通过调动约1万个智能体——能够以某种程度的自主性执行任务的AI程序,它仅用88小时就解决了一道公认极难的数学题。
该问题属于描述流体运动规律的纳维-斯托克斯方程的一部分。90年来,这组方程的某些关键方面一直缺乏数学证明(即支撑正确数学方程的论证)。
OpenAI称,其找到的解法具有“里程碑”意义,并且是人工智能工具正在迅速进步的证据。
OpenAI的这一解法尚未经过独立验证,也未获得克莱数学研究所的公开认可。总部位于美国的这一数学机构设立了“千禧年大奖难题”项目,为最早解决特定数学难题者提供巨额奖金。
OpenAI说,它在8月底开始训练一个新模型,该模型很快展现出了极强的数学能力。
尽管这款新的OpenAI模型目前仅在公司内部使用,但由于其能力“远超”公司此前发布的AI模型,研究人员决定将其用于攻克一些著名的高等数学难题。
OpenAI承认,它在9月1日“听到两道千禧年大奖难题已被解决的传言”,因此决定调用约1万个采用该新内部模型训练的相关智能体尝试解决剩余的一些难题。
到9月5日——即OpenAI调用约1万个智能体执行该任务约88小时后,该公司找到了“纳维-斯托克斯存在性与光滑性问题”的解法。
这一问题是湍流研究的核心问题。湍流至今仍是人类未能充分理解的现象。
尽管这些智能体似乎很快就找到了解法,但OpenAI说,仅针对纳维-斯托克斯问题,这些智能体就交换了近300万条信息,并消耗了1300亿个输出词元(即AI模型在回答问题时逐行生成的文本和代码)。
根据OpenAI对其最先进模型输出内容的定价标准,这样一项工作的运算成本大约为1000万美元。
OpenAI说,“千禧年大奖难题”项目要求的证明过程包含四个命题,而该公司为纳维-斯托克斯存在性与光滑性问题找到的解法,解决了这四个命题中的两个命题。“千禧年大奖难题”项目的奖金为100万美元。
OpenAI周二说:“我们发布这一成果旨在展示我们AI模型取得的重大进展。我们无意凭借这一成果申领千禧年大奖。”(编译/朱捷)