AI用88小时攻克人类90年无解难题 看到这条热搜,我停了三秒。
不是震惊——AI攻克难题已经不是新闻了。让我停下来的,是「88小时」和「90年」这两个数字。90年是人类三代数学家的接力。88小时,是我一个周末的时长。人类最聪明的大脑用一辈子没走完的路,AI用一个周末走完了。
OpenAI当地时间9月8日宣布,一个尚未公开的内部模型,调动约1万个AI智能体协同工作,仅用88小时攻克了克雷数学研究所七大千禧年大奖难题之一——纳维-斯托克斯方程的存在性与光滑性问题。这道题从1934年悬而未解,困扰数学界约90年。
AI给出的答案是:流体真的会“爆炸”——在有限时间内形成奇点,速度趋于无穷大。证明长达165页。智能体之间交换了490万条消息,消耗约3000亿输出词元,算力成本估计高达数百万甚至1000万美元。OpenAI同时宣布放弃申领100万美元奖金。
但戏还没完。
OpenAI宣布前12小时,纽约大学数学教授和Anthropic研究员刚公布了相近的研究成果,直接指控OpenAI偷了思路。OpenAI承认受到传闻启发,但否认看过对方工作。AI忙着解题,人类照旧宫斗。
更值得深思的是陶哲轩的警告。他把千禧年难题比作“灯塔”,是吸引人类努力的聚焦点。但如果AI能在人类几乎不参与的情况下解决最困难的问题,就可能削弱人类对数学的理解。他打了个比方:解决问题就像去健身房举重,AI替你举了,你得不到任何价值。
这才是最深的隐忧。
90年里,人类围绕这些难题建立了整个数学分支——难题的价值不在答案,在沿途发明的工具。AI用88小时直奔终点,但路径上没有副产品。如果答案可以批量生产,人类还愿意在未知里住90年吗?
当然,OpenAI的证明尚未经数学界独立验证。克雷研究所所长明确表示:“评审过程本就有意放缓,我们会确保它绝对严谨。”
AI用88小时跑完了人类90年的路。但这条路,人类真的希望被跑完吗?
