Could an AI Have Discovered General Relativity? – Adam Brown

数学家怕AI把证明写成天书，Terry Tao却认为LLM更可能当“超级解释者”，把难懂的证明翻译成人话，已有实例：AI的新思路被人类看懂，还拿去证明了新定理。

数学家担心LLM变成“证明机器”，吐出几十亿行没人能看懂的代码，定理对了但没人知道为啥对。Terry Tao却泼了盆冷水：AI更可能反过来，把人类看不懂的证明讲明白。这期聊的就是这个反转，以及一个已经发生的实例——AI想出的新思路，人类不仅看懂了，还拿去证明了新定理。

数学家怕LLM变成“证明机器”，吐出几十亿行没人能看懂的代码，定理对了但没人知道为啥对。Terry Tao觉得这不太可能，因为LLM不只是超级证明者，更是超级解释者——它们能死磕一个难题，直到找到人类能理解的讲法。

• Erdos问题就是例子：几个月前，AI用人类能懂的新思路证明了一个Erdos猜想，人类数学家不仅看懂了，还拿这个思路去证明了新定理。这不是天书，是能用的工具。
• AI的“傻劲”是优势：人类没推翻单位距离猜想，是因为大家都信它是真的，没人去试。AI没这个包袱，它愿意“浪费时间”去证伪一个大家都认为对的猜想，结果还真找到了反例。
• “超级解释者”的机制：LLM能反复咀嚼一个难题，从不同角度重新表述，直到找到人类能理解的讲法。这种能力让它不只是“算得快”，更是“讲得清”。

LLM的另一个特点是极端的耐心，它不会因为“大家都觉得对”就放弃质疑。这种“傻乎乎”的坚持，反而能突破人类思维的盲区。

• 打破预设：人类数学家容易困在“这个猜想肯定对”的预设里，AI没有这种心理障碍，它愿意走到底，哪怕结果是推翻一个“公认”的定理。
• 不是替代，是搭档：AI不是来取代数学家的，而是来提供新思路、新视角的。人类负责理解、验证和拓展，AI负责“死磕”和“试错”。
• “浪费时间”的价值：AI愿意走人类觉得“没必要”的路径，这种看似低效的探索，恰恰是发现反例和突破的关键。

“AI的极端耐心，让它愿意去尝试人类觉得‘浪费时间’的证明路径，而这恰恰是突破的关键。”

• 让AI当“杠精”：别只让AI顺着你的思路干活，专门让它去质疑你的假设，找反例。它没有“面子”包袱，能帮你发现思维盲区。
• 把AI当“翻译官”：遇到看不懂的复杂逻辑，别硬啃，让AI用大白话给你讲一遍。它能把天书翻译成人话，这是它比搜索引擎强的地方。