北京
参考消息网10月8日报道 据英国《新科学家》周刊网站10月7日报道，开放人工智能研究中心（OpenAI）发布了722篇数学论文，其中包含对各类数学命题的证明与证伪。学界人士表示，这一成果的规模既令人惊叹，又让人丧气。
报道称，数月以来，人工智能模型处理数学问题的能力持续提升。就在2019年，AI模型在英国普通中学教育证书数学考试中还难以及格。但就在上个月，OpenAI攻克了纳维耶-斯托克斯流体力学方程的相关问题。这是数学界最难、悬而未决时间最久的难题之一。
在深度方面实现突破之后，OpenAI似乎转而追求成果的广度，一次性公布了数百项数学发现。该公司并未公布完成这些发现的AI模型名称，仅称其为一款“内部前沿模型”。
伦敦大学学院的弗朗西斯·约翰逊研究沃尔D(2)问题长达25年，这也是OpenAI这批论文所解决的数百个难题之一。
约翰逊说：“我研究这个问题25年，为此写了两本书，最后我本人放弃了。AI能这么快攻克它，我很意外。但AI能做到这件事本身，并不出乎我的预料。”
约翰逊提到，近几个月他一直在和AI模型协作，“AI给出的分析其缜密程度与清晰程度令他震惊”。
他说：“这把我们所有人置于一个非常微妙的境地。坦白讲，精灵已经从瓶子里出来了。我们必须接受这个现实。人类本就具备适应能力，所以我们只能去适应。眼下，我们只能静观，为之惊叹。”
但帝国理工学院的凯文·巴扎德提醒大家应当保持审慎。他说，这批成果里有30篇论文属于他研究的数论领域，其中仅有7篇看起来质量突出，而只有1篇通过Lean形式化验证。Lean是一种计算机验证工具，可以确定无疑地核验数学推导。
巴扎德认为，尽管我们不能急于断定这些结论全部成立，但AI在数学领域的整体进步势头十分惊人。他说，如果这批新成果大部分最终被证实正确，我们将窥见新的常态。“很久以来，已经不存在能够精通全部数学领域的人类专家，而现在，机器似乎拥有了这种能力。”
剑桥大学的本·阿拉纳克表示，各大AI企业一直在聘请数学家，投入大量时间与资源开展研究，因此不断产出亮眼成果。“对这些公司而言，（数学发现）是智力领域的奖杯，一个可以争取到手的奖杯。”
阿拉纳克称，这一切“令人困惑，同时带来冲击”。“我很庆幸自己不是纯数学家。如果是，你难免会想问，那我们人类研究数学还有什么意义？”（编译/涂颀）
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
