AI资讯

数学家慌了?AI首次自主攻克80年数学难题,证明还是证伪?

智能摘要

上月,OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题。这是AI首次自主攻克领域核心开放难题。事实上,数学家已经在利用这个解法的方法,并将其用于攻克其他长期存在的数学问题。如果AI能证明单位距离猜想,也许数学家很快就要完蛋了。

算法暴力破解人类审美偏见

仅几个月时间,AI就攻克了人类数学家历经八十年都未能解决的难题, 并非由于AI比人类更具智慧, 而是因为其不存在人类所具有的那种“直觉审美”。 数学家向来偏好以简洁且优雅的方式去证明猜想, 他们认同埃尔德什的观点, 认定那是正确的。 然而, AI对此毫不在意, 它在代数数论与离散几何这两个几乎毫无关联的众多领域之间强行构建联系, 寻觅到了一种因人类存在偏见而从未有人尝试过的点阵排列方式。 正是这种“反直觉的暴力”行径, 使得专家们惊愕得目瞪口呆。

举个事例, 人类于进行思考之际常常会躲开那些看上去“难看”的数学结构, 缘由在于直觉向我们表明那是行不通的。然而AI不存在审美观念, 它仅仅在意在逻辑层面是否正确。在2026年3月, 这个内部模型于试验了数量众多的数万种组合之后, 径直抛出了一个令所有人都未曾料到的解法, 完全打破了数学界的传统思维模式。

跨领域贯通远超专业壁垒

数学家常常终其一生只专注于自己所钻研的特定领域, 拓扑学家对於数论毫无涉猎, 几何学家不会去触碰代数, 这种专业方面所形成的壁垒在人工智能面前毫无作用, 模型能够同时运用代数数论以及离散几何这两个领域里的知识, 好似一个人同时在马拉松与撑竿跳高这两项运动上都造诣精深, 这样的能力是人类很难达到的, 它能识别出人类根本没办法察觉到的联系。

这次针对单位距离问题进行破解的关键所在呢, 却是在于人工智能也就是AI將两个不同领域的 工具给融合在了一块儿 ,当人类专家目睹到这个解决办法的时候 , 其第一反应是“这样居然也能够行得通? ” , 原因在于依照传统的学术分工模式 , 以往从来没有 anybody 想到过要把这两个 领域的理论相互结合起来 , 人工智能它不存在学科界限方面的限制 , 它唯独关注的只是最终结果 , 这样一种跨越综合贯通的能力此刻正在把数学研究 的底层逻辑予以改变。

不间断的专注碾压人类极限

人类撰写论文, 篇幅最长也就几百页, 并且还得反反复复去修改。AI此次生成的逻辑链条达7.5万字之多, 要是换让一个数学家手写下来, 起码得耗费数年时间, 并且还必须始终保持高度专注。然而对于AI来讲, 这仅仅只是一次寻常的运算任务, 每秒能够进行数万亿次浮点运算, 它能够在几天当中就完成人类数年才能完成的工作量。它不会感到疲惫, 不会出现分心状况, 更不会在遭遇挫败之际选择退缩。

更令人惧怕的是, AI 不用去接孩子放学, 不用去开会, 并且也用不着担忧论文会被拒。它仅仅会持续地计算下去, 一直到找出答案为止。这样的“始终不间断的专注”致使人类在效率方面根本不存在可与之相比较的可能。真理的探寻正逐渐演变成算力资源的附带产物, 数学研究的本质特性正在发生根本性的变化。

莱顿宣言紧急拉响警报

当AI展示力量之际, 大约60名处于顶尖水平的数学家以及计算机科学家于荷兰莱顿大学迅速聚集, 签署了《莱顿人工智能与数学宣言》。他们所忧虑的并非失去工作岗位, 而是数学正从“公共知识”逐渐演变为“商业黑盒”。在过往, 数学属于最为透明的学科, 全部成果都在arXiv上免费进行共享, 任何一个人只要拥有笔和纸便能够对真理予以验证。然而此刻, 游戏规则发生了改变。

若是商业公司把持着AI模型, 要是以后真理只能取决于支付费用的API才能够得到, 那么人类文明的逻辑根基就会垮塌。 《莱顿宣言》的关键要点便是要求: 任何的论文都必须清晰公开地展现AI的运用情况, 商业性的AI绝不能够独占真理的阐释权力, 数学的发展应该是受好奇心所驱使而并非是受算力盈利率所驱动。 不然的话, 数学将会沦为少数公司的私有财物。

神谕般的答案威胁理解权

正确的虽是AI给出的解法, 可其却极其古怪。它更似一个神谕, 告知你结果, 却不阐释为何。这恰是人类数学家所坚守的底线: 数学不单单是一系列产出正确结论的工厂, 更是于过程里赋予人类理解、清晰度以及判断力的所在。计算器能够告知我们1加1等于2, 然而它没法告知我们为何要追寻真理。

试着去想象一下, 在未来的时候出现这样的情况, 数学书里面布满了人类根本就看不懂的符号, 而用以解释这些稀奇古怪符号的重要钥匙, 却被锁在了某一家公司的保险柜当中。这无疑将会成为人类智力历史性进程里最为黑暗的一天。菲尔兹奖获取者蒂莫西·高尔斯发出感慨赞叹, 如果人工智能能够证明单位距离猜想, 那么数学家恐怕是真的要彻底完蛋了。不过后来知晓人工智能结果是证伪而并非证明, 他在放松一口气的同时也清醒地意识到, 这样令人担忧的一天终究还是会到来的。

守住人类最后的逻辑尊严

具有逻辑性的人类最后的尊严属数学, 于AI这一时代状况下, 需守住三个防线内容, 即披露权、验证权以及表现是自身抉择的拥有权, 每一篇有关AI使用的论文, 均得公布解释进行详细介绍写明, 投身商业运作的公司, 不可以独家把持对真理的阐释, 推动数学研究发展的力量, 应当是源自好奇的心理, 并非仅为靠计算能力获取利益, 经由那般举措后, 可以避免数学被资本和技术改变性质, 成为黑箱形式。

《莱顿宣言》得以出现, 这是人类于算法荒原之上所划出的一道红线, 它对我们起到提醒作用, 在追求效率以及速度之际, 不能够丢弃对于真理的理解还有掌控, 数学不单单是工具, 更是人类智慧所形成的结晶, 要是连数学都变成了AI的领地, 那么人类还能够守住什么呢?

你觉得,当AI能解决所有数学难题时,人类数学家还有存在的必要吗?欢迎在评论区分享你的看法,点赞和转发让更多人看到这场关于真理控制权的战争。

相关文章