被誉为“数学界诺贝尔奖”的菲尔兹奖得主中,有25名数学家于9月11日发表紧急声明,批评企业试图利用人工智能(AI)解决数学难题的做法。他们表示,今后还将继续征集更多数学家的签名。
这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元(约合人民币710万元)。
参与发表紧急声明的25名数学家包括1990年菲尔兹奖得主、京都大学名誉教授森重文,以及2006年菲尔兹奖得主、美国加州大学洛杉矶分校教授陶哲轩等人。声明题为《数学领域中AI的严重错位》,并表示鉴于事态紧迫,有必要尽快发表声明。
声明指出,“AI企业将解决数学问题作为基准来推动技术发展的做法,会对数学这门科学本身以及数学界造成危害”。声明还认为,AI开发企业的目标与数学界的目标“存在显著偏离”。
OpenAI此前宣布使用未公开的AI模型,从9月1日起耗时约88小时解决了这一难题。期间约有1万个AI智能体同时运行并相互协作,AI之间共交换了近270万条信息。
声明指出,AI开展数学研究时,往往更强调“解决问题”这一结果,而非数学家所重视的概念理解。对此,数学家们批评称,解决问题只是手段,是实现概念理解和洞察这一主要目标的替代手段,而非最终目的。他们还对今后AI可能大量生成仅用于判断数学难题真伪的结果表示担忧。
声明还指出,OpenAI等企业发布利用AI解决数学问题的方法时,没有充分核查相关解释、具体创意以及对他人先行研究的引用等内容,可能“引发有关作者归属和(创意)剽窃的严重问题”。
评论 (0)