1991年József Beck攻克埃尔德什问题库编号119难题
他是一位数学家、曼彻斯特大学研究员,也是erdosproblems.com网站的创建者和维护者。正因如此,AI公司每次宣称「解决了埃尔德什问题」,都要先过他这一关。这道题由Szekeres在1973年、Seymour在1979年各自独立提出,悬了约五十年。
不少人觉得AI凭借黑科技刹那间便攻克数学难题, 但实际上事实通常并非那般奇幻。近期AI解决埃尔德什第119号问题的事例, 完全推翻了公众认知。
这可不是那种高深莫测、前所未有的新算法, 而是会把在分析学里面常常会出现的调和技术, 运用到一个从来没被人类给想过的角度, 用在了一个以前从未被人类想到的角度。
旧工具的新用法
经过漫长时间才被贝克攻克的那个堡垒, 如今借助一页简短的推导便能够避开。其中关键的步骤是, 针对非负函数实施卷积操作, 并且进行平移, 从而使得原本生硬的表达式变得光滑起来, 由此方可达成。
此类操作于分析范畴内极为常见, 然而却因太过“自然而然”进而被人类数学领域的众多专家一同给忽视掉了。大家一贯觉得首个步骤必然得复杂, 最终反倒将自身给束缚住了。
人类耐心的边界
那道题目悬挂多年, 不是源于它在难度层面不可被跨越呢, 而是人类极度 缺失在错误道路上不断反复去尝试错误的那份耐心。陶哲轩直接表明, 过去几十年大家集体朝着错误方向行进了。
倘使有人愿意于那条貌似平凡的道路之上多尝试几回, 答案早就显现出来了。人工智能的价值并非依仗智商的压制, 而是在于它能够毫不倦怠地施行那些被人类漠视的计划。
效率胜过算力
GPT模型虽不存在实时产生新神经连接的流动智力, 然而它却能够高效地过滤掉海量的、注定会失败的尝试, 对于数学家来讲, 这般情况比单纯解出一道题目更具意义。
它所节省的并非是思考所占用的时间, 而是用于确认“此路不通”情形的时间, 这样一种效率工具, 使得我们能够更为迅速地触达学科前沿领域, 防止让自身耗费余生在毫无意义的死胡同之中, 岂不是如此这般。
争议与真实力
纵有声音对模型于检索既有文献方面开展质疑, 然而那恰好证实了问题的开放性标签有着误导之处, 埃尔德什网站那儿的“未解”, 有时单单是指提问的那个人自己不清楚。
就在几何猜想被推翻这件事上, 出现了真正的突破, 有多位顶尖学者为此提供支持。尽管基准测试数据存在波动情况, 然而它于最高推理档位时的表现, 已然展现出了实质的进步。
未来的定义重构
这场争论的关键之所 在, 对“难是什么”进行了新的界定 , 某些问题的难体现在其深陷逻辑的幽深之底 , 而另一些问题之难呈现于人类认知尚 未触及的领域里。当今 , AI正着手去填满因后者而产生的空缺之处。
只要流动智力渐渐赶上地基能力, 突破就会变得能被肉眼清晰看见。我们可千万别小瞧AI引发的范式转移, 它正重新塑造我们求解未知的办法。
你认为将来数学探究的主要梗阻, 会是运算能力欠缺, 还是人类思维定式呢? 欢迎留言去分享你的见解。