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

> 原标题：Tim Gowers: What sort of maths are LLMs good at?

- 来源：Hacker News 首页
- 发布时间：2026-08-12T10:04:25.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/50236
- 原文：https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/

## 摘要

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

## 推荐理由

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

## 锐评

这篇博文的价值不在给结论，而在排除坏答案。Gowers 指出，OpenAI 最近解决的十个难题里，最出名的几个——非 sofic 群、多色拉姆齐数超指数增长、雅可比猜想、单位距离猜想——全是靠构造反例拿下的。这很容易让人以为大模型天生擅长“找反例”。但他立刻用维诺格拉多夫的三素数定理把这个说法拆了：那个定理在逻辑上也能写成“存在一个反例”，但没人会管它叫反例，因为数学家的注意力全在证明那个“任意大的数都能表成三素数之和”上，存在量词只是收尾。

所以判断是不是反例，不能只看逻辑形式，得看第一个“有意思”的量词落在哪。如果核心工作是构造一个具体对象去推翻一个普遍断言，那才算反例。Gowers 没给最终分类，但他划出了两条线：一是别用表面逻辑结构硬套，二是要解释为什么大模型可能更擅长这种“构造性否定”而非正向证明。正文没披露 OpenAI 那十个成果的具体验证流程，也没讨论模型是否在证明题上真的弱，只是说如果大模型全面超越人类，成果应该像洪水一样涌出来，但现在还没到那一步。这点先别太激动，等更多证据。