数学2.0

从一件真事说起 最近，AI在数学上干了一件很实在的事。DeepMind的AlphaProof Nexus在353个厄多斯开放问题中，解决了9个。其中最早的一道题，已经悬置了56年。 这不是小新闻。厄多斯是20世纪最著名的数学家之一，他一生提出过大量猜想和问题，很多问题陈述简单，但证明极难。AI能啃下其中9个，说明它确实在进步。 但我们也别急着喊“AI要取代数学家了”。因为厄多斯问题有个特点：问题说得清楚，验证路径也明确。你知道题目问什么，也知道一个答案交上来后，怎么检查它对不对。AI最擅长的，就是在已有框架里疯狂搜索，找到一条可验证的证明路径。 这跟怀尔斯证明费马大定理，完全不是一个层级的事。...