Gowers评OpenAI十项数学成果：AI强在‘输得起’，弱在剪枝
这篇解读了为何AI能解难题却成果有限：它靠速度与算力搜索，而非像人类一样拥有方向感。
OpenAI发布十项数学成果后，菲尔兹奖得主Gowers在博客分析：AI并非比人聪明，而是靠算力承受无数次失败，因此擅长找反例；但训练数据只含干净成品，缺探索过程，使它难以在复杂搜索树中判断该放弃哪些岔路（即‘剪枝’）。
正文摘录
 新智元报道  AI 解决了数学界一个悬了 80 年的老问题：埃尔德什平面单位距离猜想。 5 月的一个下午，这个消息第一次传到 Timothy Gowers 耳中时，他以为 AI 给出的是一个证明。 如果这是真的，「数学家可能很快就要出局了。」 他花了整整一晚上，重新调整自己的世界观。 第二天早上，一封澄清邮件到了：AI 不是证明了这个猜想，是推翻了它。 Gowers 反倒「松了一口气」。 为什么 AI 找到了一个反例，比它证出了一个定理，更让 Gowers 觉得安心？ 8 月 12 日，他的一篇博客给出了答案。  一切要从 8 月 1 日说起。 那天，OpenAI 一口气甩出十项数学与理论计算机科学成果。 用官方的话说：其中每一项都解决了一个长期悬而未决的问题，或在相关问题上取得了实质性进展。 这些成果来自 OpenAI 尚未发布的内部版模型 Astra。 那几天，社交媒体上只剩下一种反应：这回真的不一样了。 用 Simon Willison 的话说，网上的数学家们在集体经历一次「深蓝时刻」。