OpenAI公布数学新发现

10月26日，OpenAI公布了数学、计算机科学和物理学领域的三项新发现，但将相关手稿称为有待进一步理解的原始研究材料，邀请外部专家核查、解释。人类数学协会已有1008位成员加入，其中654人加入“无AI研究小组”，承诺不发表由AI生成的论文、不与前沿实验室合作、不在研究中使用AI。菲尔兹奖得主陶哲轩担忧AI在数学解题方面取得的惊人进步可能忽略数学研究中更重要的东西，如从解决问题过程中学习、创造和理解的机会。他承认AI能解决人类长时间苦苦追寻的难题，但数学只解题就够了吗？陶哲轩认为数学有很大一部分是解答问题，这一面恰好非常适合AI，但数学也关乎理解，我们不想只让黑箱给出答案。OpenAI宣称解决了纳维—斯托克斯千禧年难题的一个版本，但陶哲轩指出，这份证明留下一份长达100页的AI生成证明，令人失望的是，我们几乎没有从中获得数学洞见。陶哲轩担忧AI开始变得危险，AI擅长解数学谜题，在网络安全领域，攻击者试图侵入一个不安全的系统，其实与解数学谜题非常相似。他强调数学不能完全依赖大型AI企业，数学共同体要建立自己的开放模型和研究工具，让研究者能够参与训练、检查和改进模型，并保留对AI研究过程的监督和干预权。