Tim Gowers：LLM 擅长哪类数学？

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

OpenAI 近期宣布解决了包括非sofic群构造在内的十个重大数学难题，这一突破引发了对LLM能力的重新评估。Tim Gowers指出，尽管LLM在解决特定问题上表现惊人，但它们尚未在所有数学领域超越人类。文章深入探讨了LLM是否特别擅长寻找反例，并通过Vinogradov定理与Gluskin定理的对比，分析了“反例”与“定理”在逻辑结构上的微妙差异。Gowers认为，关键在于问题中量化变量的本质角色，而非简单的逻辑形式。随着LLM能力的快速演变，理解其优势边界对于未来数学研究至关重要。