Tim Gowers 聊大模型擅长哪类数学：别急着说它只会找反例

Tim Gowers: What sort of maths are LLMs good at?

OpenAI 刚宣布用大模型解决了十个数学和理论计算机难题，包括构造出第一个非 sofic 群、证明了多色拉姆齐数超指数增长。Gowers 没去评价这些成果本身，而是讨论一个更刁钻的问题：大模型是不是特别擅长找反例？他马上把这个说法拆了——维诺格拉多夫的三素数定理在逻辑上也能写成“存在一个反例”，但没人会管它叫反例。关键要看第一个“有意思”的量词落在哪...

推荐理由：Gowers 在 OpenAI 宣布用模型搞定十个数学难题后立刻发文，没复读新闻，而是抛出一个更刁钻的问题：模型是不是特别擅长找反例？他马上自己拆了这个说法，用三素数定理说明关键不在“是不是反例”，而在第一个有信息量的量词位置。这个分析框架比原新闻本身更有长期讨论价值。分数没给更高是因为这只是一篇博客讨论，不是正式论文，但作者身份和切入角度让它在当下足够重要。