一名未接受系统数学训练的年轻数学爱好者,借助ChatGPT为一道悬而未决60年的数学问题找到了解法,引发学界关注。
据日本科技媒体 Gigazine 当地时间27日报道,23岁的数学爱好者 Liam Price 针对数学家 Paul Erdos 提出的一道长期未解问题,给出了不同于既有研究路径的新解法。
这次突破的关键,不在于AI直接生成答案,而在于其参与研究的方式。Liam Price 并未从公式套用或严格证明入手,而是先借助ChatGPT提出各种可能的设想,再由自己对这些想法进行筛选、整理和验证。
报道指出,ChatGPT并没有直接给出最终答案,但提供了一些人类研究者未必会优先想到的切入点。Liam Price 从中挑选出有价值的线索,进一步整理为完整推导,而其最终采用的解题方向,也被认为并非数学界此前的常规思路。
在学界看来,这一案例更值得关注之处,在于AI并未取代数学家,而是以工具的形式帮助拓宽思考范围。数学家 Terrence Tao 表示,人们在处理这道题时,往往从一开始就沿着略有偏差的方向推进。换言之,这个问题之所以长期未解,原因可能不仅在于难度本身,也与人类固有的思维惯性有关。
因此,不少研究者认为,这种较少受既有直觉和惯例束缚的方法,未来或许可以用于其他未解问题。报道称,在实际研究中,已经出现借助ChatGPT重新梳理历史文献、寻找被忽视的部分解法的案例,也有研究尝试利用AI发掘新的证明思路。
从这一案例来看,ChatGPT的角色更接近“发想工具”,即提供多种可能路径,而不是直接输出完整答案的计算器或证明工具。真正关键的,仍是人类对错误、可行性和数学意义的判断,只保留值得继续推进的方向。
这也凸显出,在人机协作的研究过程中,真正重要的不只是“会不会用AI”,更在于研究者是否具备足够的验证和判断能力。AI提出的想法并不一定都成立,哪些值得保留、哪些应当舍弃,最终仍需由人来决定。Liam Price 的成果,与其说是照搬模型输出,不如说是对AI提供的提示不断加以甄别,并将其整理为可证明的形式。
与此同时,AI在数学研究中的局限仍然十分明显。现阶段,AI在自主构建严密数学证明方面依然能力有限。此次ChatGPT提供的证明链条也并不完整,仍需依靠人类研究者补充解释并完成验证。这也意味着,AI距离直接替代数学家还有相当距离。
尽管如此,此事的意义依然不容忽视。一名没有接受过专业数学训练的个人,借助AI触及了此前专家也未能到达的解题路径。报道称,数学研究的关键未必只是自动生成答案,更重要的是如何跳出既有思维框架、找到新的突破口。在这一过程中,AI或许会率先成为一种探索工具,而非直接替代人类完成证明。