客服热线：
二维码
困扰人类几十年的世界级难题，AI没日没夜泡了几天就直接交卷了，这效率简直让人瞠目结舌！
就在刚刚，OpenAI直接甩出王炸——自家模型一口气拿下三项重磅突破：直接掀翻了计算机科学界奉为圭臬近30年的指数时间假设；搞定了所有维度的局部平滑化猜想；还为量子色动力学和杨-米尔斯理论凑出了严谨的数学存在性证明，每一项都是能让学界抖三抖的硬成果！
顺着这条数学推导链往回捋，OpenAI放话：这意味着卡凯亚猜想（江湖人称挂谷猜想）在所有维度上，直接被彻底破解了！
还记得2025年初吗？中国数学家王虹刚靠着证明三维卡凯亚猜想（也就是三维挂谷猜想）震惊了整个学术界，咱们还在为这项人类智慧的高光时刻喝彩，结果才过了一年半，这份曾被引以为傲的人类突破，居然成了AI成果里的一个特例，这剧情反转谁能想到啊！
更有意思的是，OpenAI玩得还挺有仪式感：专门请来了当年提出ETH假设的科学家本人，来“审读”AI对自己假设的反证；又拉来诺贝尔物理学奖得主领衔的团队，专门“消化”AI写出来的千禧年难题证明，这安排简直像让出题人亲手拆了自己出的谜题！
科学家们熬了大半辈子都没摸到头绪的难题，AI没几天就把解答拍在了桌面上；往后数学家们的日常，可能都不是埋头找证明了，而是围着AI的成果，忙着验证“这玩意儿到底对不对”。
数学史上最颠覆性的反转，就这么实实在在发生了！
不过要说影响范围，比起破解卡凯亚猜想，OpenAI在计算机科学领域拿下的这项成果，说不定会给整个算法研究圈带来更炸裂的连锁反应。
这次被AI推翻的，正是计算复杂性领域大名鼎鼎的指数时间假设，也就是大家常说的ETH。
这假设是Russell Impagliazzo、Ramamohan Paturi和Francis Zane几位研究者在1999年前后提出来的，核心问题其实很直白：计算机啃某些复杂难题的时候，到底得付出多大的计算代价？
近30年来，ETH早就成了计算复杂性理论的顶梁柱级别的基础假设——几百篇学术论文都把它当大前提，在图论、计算生物学、数据库这些领域，推导出了一大堆问题的“条件性计算复杂性下界”。
结果现在，OpenAI直接放话：他们的AI系统不仅成功证明了ETH是错的，还已经通过Lean完成了形式化验证，这相当于直接给整个领域的地基动了个大手术！
一个撑着几百篇计算机科学论文的基础假设，就这么要被AI掀翻了？这谁能不懵！
这项成果的意义可太大了：那些过去被认定“根本没法用次指数时间求解”的计算问题，说不定藏着咱们之前没发现的高效算法；而所有建立在ETH之上的条件性复杂性结论，恐怕都得拉出来重新过一遍，整个学界的后续研究节奏都要被打乱了。
过去，科学家可能要花几十年蹲一个证明；现在，AI几天就能把证明拍出来，甚至连Lean形式化验证都能顺手搞定，但科学家们还是得花大把时间，才能真正搞明白这些成果到底意味着什么。
当AI产出科学成果的速度，开始追上甚至超过人类理解成果的速度时，科学研究的瓶颈，可能就从“找不到答案”变成了“验证、消化答案都忙不过来”。那些曾经困住人类几十年的科学难题，以后说不定越来越多都要由AI来给出答案了。
AI已经马不停蹄地开始交卷了，可人类阅卷的速度，怕是都快赶不上了！
