10 月 27 日，OpenAI 和 Anthropic 两家公司不约而同——可能也并非巧合地——各自发布了证明指数时间假设（Exponential Time Hypothesis，ETH）不成立的论文。
ETH 是几十年来被广泛接受的理论，大量研究都建立在它的成立之上，而且这可不是什么冷门无用的小结论，连我这种外行都知道、教科书上把它当作默认正确的事实。结果就这样被证伪了。
更巧的是，两家公司用的是完全不同的证明思路，基本排除了互相抄袭的可能。我的猜测是，这两家手里都囤了不少数学成果，只是在选择什么时候公开、再多检查打磨一下。其中一家看到对方发了，就赶紧跟进了。
更有意思的是，OpenAI 给出的证明比原假设还要强。简单来说，ETH 假说认为：有一类判断“是/否”的问题，人们找不到比指数级时间复杂度更快的算法。举个例子，判断某个结构中是否存在满足特定条件的解，按 ETH 的说法，这种问题就是在指数级里兜圈子。
但 OpenAI 证明了：我不仅能判断有没有解，还能直接算出有多少种解，而且还给出了一种更快的亚指数时间复杂度算法。
打个比方，人类还在苦思冥想怎么快速搞定一个判定问题，AI 直接来了一句“太菜了”，然后把判定问题升级成计数问题，再递给你一个更快的算法，拿走不谢。
这是我第一次觉得 AI 有点“神迹”的苗头。就像当年 AI 攻破围棋一样，把人类多年来深信不疑的想法直接推翻。我觉得数学领域未来也会是这个局面：人类在很多领域积累了几十年的思路、工具和方法，可能从根上就是错的。
当然，ETH 这个成果未必对现实生活有直接影响。它是什么、和 P/NP 问题又有什么关系，可以看这期视频。
我想说的是，这个结果让我相当兴奋。因为坦率讲，现在很多基础科学领域几乎停滞了，大家都是在几十年不变的根基上卷应用，挤那一点点性能提升。
像这种 AI 带着人类往前突破认知边界的事，接下来完全可能把某些基础根基爆破掉。我非常希望 AI 能告诉我：存在一套更好的数学体系，把所有现存难题都降维打击、轻松化解；或者给出一种新的建模方式去理解物理世界，而不是什么质子、中子、电子，还要用“三分之一上夸克、三分之二下夸克”这种畸形描述；又或者，人的永生秘密就藏在一段基因编码的计时器变量里。
如果资金能投到这些方向上，未来真的令人兴奋。
而不是投去和人类抢饭碗：搞一堆 AI 写文章、刷评论、批量做视频，生产垃圾把互联网变成垃圾场；研究怎么让说话更像人，把原本挺可爱的机器人客服变成一眼就能识破、却还得忍着恐怖谷效应的伪人客服；不管什么场景、有没有逻辑，都掰开揉碎地装人弄鬼，到处拉屎。
去做点自己擅长的事吧。你看，数学领域能直接爆破全人类最顶尖的头脑，而写文章还停留在人人喊打的小丑阶段。
这次我想给 AI 加加油。终于在这些擅长的领域破圈了，希望应用能涌向人类无法企及的地方。
这篇杂谈首发于云栈社区，想继续聊的也可以在 开发者广场 交流。 | 
发表于 昨天 23:17
|
查看: 7|
回复: 0
/1 
