其它·via @mubei
AI能靠堆算力解开千禧年数学难题吗? 当世顶尖数学家陶哲轩说:能。 但他紧接着补了一句:我毫无兴趣。 最近,数学界在热议…
AI能靠堆算力解开千禧年数学难题吗? 当世顶尖数学家陶哲轩说:能。 但他紧接着补了一句:我毫无兴趣。
最近,数学界在热议一项流体力学的重要突破。 一篇光是简化后就长达 76 页的论文,试图向千禧年难题"纳维-斯托克斯方程"发起冲击。 很多人都在问:能不能把这套方法直接交给 AI 和超级算力,暴力通关? 陶哲轩公开给出了定调。
他说得很坦诚:原则上完全没有障碍。 只要砸进去海量的算力和 AI 辅助,硬把最终的证明砸出来,他一点都不会意外。 但他明确表示,自己对这种暴力推进毫无兴趣。
为什么没兴趣? 因为算力再大,也只是在填补繁琐的技术细节。 AI 确实能帮你扫清无数工程障碍,把长达几十上百页的复杂推导硬生生补齐。 但那只是力气活。
陶哲轩说得很清楚:他真正在意的,是彻底吃透这套方法,提炼出背后核心的数学新思想与结构洞见。 至于靠海量算力和 AI 硬砸出来的证明? 他 :自己对这种操作毫无兴趣。
翻译视频 / X
相关 / RELATED
JSON- M数学界最顶级的未解难题,突然传出被 AI 攻克了。 一位数学教授,花了一整年死磕纳维-斯托克斯方程。 这是世界著名的千禧…
- M1300 万行代码,29511 个定理,只为了验证 30 年前一个早就被人类承认的数学结论。 很多人以为这是 AI 又在…
- M全球的AI实验室烧掉几百亿美元,到底在追什么? 不只是算力。 他们都在死磕一个老问题:怎么把大自然压缩成机器能算的东西。…
- M以前用来筛选顶尖数学家的问题,现在刚好落在 AI 的解题射程里。 陶哲轩认定,数学界的研究生教育体系到了必须推翻重写的时…
- M过去37年,人类顶尖数学家把这个进度条往前推了多少? 0.8个百分点。 这一次,Claude一口气飙了25.6个百分点。…
- MDeepMind 创始人 Demis Hassabis 出了一个考题: 只给 AI 提供爱因斯坦在 1901 年能接触到…
导出 / EXPORT
订阅 · SUBSCRIBE
每周一封海外华人的科技与 AI 深度解读与信号,周一发出。