夜雨聆风AI在数学上击败了人类,但数学家并没有失业。因为AI解决的问题是'计算',不是'理解'。
WIO News报道,Google AI近期解决了数十年历史的数学问题,引发行业关注。但DeepMind CEO Demis Hassabis同时表示,AGI仍然遥远。这是AI在科研领域的又一次突破,但也是对其边界的清醒提醒。
01 AI证明了什么
Google AI此次解决的是组合几何学中的" Erdős 单位距离问题"--关于平面上n个点之间恰好距离为1的点对数量。这是数学界的经典难题,困扰了数学家八十余年。AI的贡献在于:通过大规模计算验证了特定条件下的问题结构,而非给出了完整的理论证明。
AI的"证明"和数学家的"证明"是两回事:前者是大规模模式匹配,后者是逻辑演绎结构。AI能找到答案,但未必理解为什么会有这个答案。
示意图（配图与文章内容无关）
02 AGI为何仍然遥远
Hassabis的观点是:当前AI在特定任务上表现出色,但缺乏跨任务迁移能力和对世界的深层理解。AI可以在一个领域超越人类,但无法将在一个领域学到的能力迁移到另一个领域--这是通用智能的核心特征,也是当前AI的最大短板。
AI在科研领域的价值,不是"替代科学家",而是"科学家的超级计算器"--处理大规模计算,发现人类难以察觉的模式,但最终的判断和理解,仍然需要人类完成。
示意图（配图与文章内容无关）
03 科研AI的正确打开方式
AI在科研领域的最佳应用场景,是那些需要大规模计算但不需要深层直觉的任务:蛋白质结构预测、材料模拟、代码验证。但对于需要提出新假设、建立新理论的场景,AI的角色仍然是"工具"而非"创造者"。
示意图（配图与文章内容无关）
🔥 今日互动
你认为AI最终会取代科学家吗?科研AI的边界在哪里?
A. 会,AI将主导科研
B. 不会,AI只是工具
C. 评论区说说你的看法
---
本文由AI辅助创作,内容来源:WIO News、Google DeepMind官方声明。