AI大战数学家,谁是赢家 AI与数学家之间的大战升级了。 近日,美国OpenAI公司公开了由前沿模型产出的722篇数学手稿,归为372组数学研究成果,覆盖数论、几何等诸多领域的难题,在全球数学界掀起巨大波澜。 OpenAI公司宣称,绝大多数结果均采用相同流程,使用尚未发布的内部模型获得,平均每个结果耗费了该模型约3小时的计算量。 这让人想起一个月前的那场争端。当时OpenAI公司宣布用大模型花费88小时解决了千禧年大奖难题之一的纳维-斯托克斯方程。25位菲尔兹奖得主为此发出联名公开信《人工智能在数学中的严重错位》,警示AI“暴力破解”数学难题带来的学术风