22年无人能解的数学猜想，被一位医生用AI给证出来了。

这不是段子，是真事。

一场跨越22年的数学悬案

数值线性代数当中存在着一个颇为著名的猜想, 自2004年由法国数学家予以提出之后, 困扰了全球顶尖学者长达整整22年之久。该猜想是围绕着矩阵的某个常数究竟是否为2展开的, 乍一看颇为简单, 然而却难住了无数聪慧的脑袋呢。

2017 年, 美国数学研究所, 在圣何塞举办了为期一周的研讨会, 召集了各路专家依次上阵。可是直至如今, 没有人能够给出严谨的证明, 它成为了应用数学领域一块难以攻克的硬骨头。

一个医科生的意外发现

金医生本科阶段念的是地质专业, 而后取得了医学博士学位, 现在于协和医院从事神经外科工作。在他对超声波穿透颅骨展开研究期间, 不经意间涉足了矩阵分析领域。

进行一次阅读文献的进程期间, 他瞅见了那个致使无数人遭遇阻碍的猜想, 靠着凭借多年临床经验所培育出的韧性, 他着手尝试运用各异的思路去领会它, 没有任何人教导他该如何去走这条路, 他纯粹依靠自学。

AI化身虚拟研究院

金医生没將AI视作问答机, 反倒给它安排了一项战略级别的任务, 即从公理着手, 独自去完成证明。他提出需要启动大量的子智能体, 每一条路径都独立开展探索, 彼此之间不互相干扰。

更为厉害的是那种具有对抗性质的审计机制, 候选证明那是一定要承受住其他智能体发起的攻击才行, 唯有能够抵御住反例检验的路线才可以留存下来, 提示词下达了绝对不容更改的命令明确表示: 在没有获取到完整证明以前, 是不允许放弃的。

十六小时的数字狂奔

超长推理模式被GPT-5.6开启了, 它连续跑了16个小时, 期间经历了数万次假设, 又经历了数万次推翻, 还经历了数万次重建, 仿若一台不会疲倦的机器人在数学的深海里进行摸索。

最终, 它运用了一种出乎人们意料的采样策略, 避开了人类预期里的复杂估计, 把问题简化成了一个简洁的正性条件。当结果在屏幕上呈现的时候, 金医生本人都愣住了。

八天内两份证明撞车

预印本公布之后, 华盛顿大学的Alex教授率先进行验证, 他将证明逐行拆解开来, 原本持有怀疑态度, 而后转变为震惊情绪, 提出该猜想的数学家本人亲自参与检查, 最终确定论证成立并盖章批准。

仅仅过去8天之后, 两位各自独立进行研究的数学家公布了另外一份证明, 那份证明具有的篇幅就只是5页而已, 思路呈现出全然不同的状况 , 然而却同样具备精妙的特质 , 更为巧合的是 , 他们也运用了GPT – 5.6来辅助自身的思考。

AI重塑科学发现的速度

这说不定是历史里头首个被并非科班出身的人借助人工智能完完全全解决掉的长期处于悬而未决状态并带有猜想性质的案子。在这之前, 医学家获取数学成就的先例都有着非常扎实的具有数学训练性质的背景情况。

在算力着手接管推导进程之际, 那些不同学科之间的森严壁垒被一举轻而易举地击破打垮”称作是科学家”的这类定义正处在被改变改写之中, 科学上的发现速率将会被之前从未有过地加快步速, 崭新的时代终究业已降临到来了。

你是否相信, 以后会存在更多“跨界者”, 借助AI去解决传统学者没办法解开的难题呢? 欢迎于评论区交流你的看法, 点赞并分享, 好使更多人得以看见！