23 岁年轻人 Liam Price 从未接受过高等数学训练,却在无聊下午将一道困扰数学界逾 60 年难题输入 ChatGPT Pro,意外获得崭新解题思路。他将 AI 生成结果交给剑桥大学数学系本科生 Kevin Barreto 审阅,两人确认 AI 提出核心概念确有助推进匈牙利传奇数学家艾狄胥·帕尔(Erdős Pál)提出原始集合(primitive sets)猜想,震惊数学界。
60 年无人能解艾狄胥原始集合猜想
艾狄胥·帕尔一生提出数百个数学问题与猜想,涵盖数论、组合数学、图论及几何学等范畴,统称「艾狄胥问题」(Erdős problems)。今次 AI 协助突破与原始集合相关猜想。
原始集合指一组数字当中,没有任何一个数可被组内另一个数整除,例如所有质数(2、3、5、7……)便构成一个原始集合。艾狄胥为此设计一套评分系统,称为「艾狄胥和」(Erdős sum),其最大值约为 1.6,最小值为 1,集合内数字越趋近无限大,分数便越接近最小值极限。
被誉为天才型数学家 Jared Lichtman 已于 2022 年博士论文中证明艾狄胥和最大值约为 1.6,但要证明最小值下限,却令他与众多顶尖数学家同样陷入困境。
门外汉少年无聊下午问出 60 年悬案突破口
Liam Price 对上述数学历史毫不知情,只是在某个闲暇午后随手将这道难题输入 ChatGPT Pro,再将 AI 输出结果交给剑桥大学数学系二年级本科生 Kevin Barreto 审阅。两人惊讶发现 AI 竟提出一个全新解题方向,而且确实有助推进这道数学悬案证明。
AI 原始输出内容杂乱,并非完整数学证明,但其核心洞见却令专家刮目相看。系统采用一个在相关数学领域广为人知却从未有人想过可应用于此类问题公式,切入角度彻底打破过去所有顶尖数学家既有思路。
AI 具备数学直觉?LLM 能力边界再受挑战
大型语言模型(LLM)一般被认为不擅长严谨数学计算,往往一本正经给出错误答案。然而今次事件显示 AI 已具备某种理解高阶数学深层结构「直觉」,甚至能提供人类从未想过灵感。
科技媒体 TechNews 亦另有报道指出 OpenAI 最新 GPT-5.2 在数学推理方面取得重大跃进。系统曾在 15 分钟内解出另一道艾狄胥问题,显示 AI 在数学领域能力正快速提升,未来或将成为数学研究重要工具。
普通人借助 AI 或成未来科学突破新常态
今次事件令人反思未来重大科学突破或许不再是少数菁英专家专利。只要具备探索精神「普通人」善用超级 AI 工具,同样有机会在意想不到领域取得突破。随著 AI 数学推理能力持续进步,类似跨界发现预料将愈来愈普遍,亦可能引致学术界对 AI 研究贡献如何确认及归功展开新讨论。
来源:SCIAM