顶级数学家：LLM是强计算器但缺乏创造性思维
原标题：Top mathematicians say LLMs are strong calculators but poor creative thinkers
AI 摘要
顶级数学家Timothy Gowers和Peter Sarnak认为，大型语言模型在数学计算方面表现出色，但在创造性思维上存在局限。Gowers指出，模型擅长组合已知方法和探索多条路径，但缺乏在广阔搜索空间中选择有效路径的直觉。Sarnak补充说，AI能从现有理论推导结果，但无法从基本问题出发发展出支撑重大证明的抽象概念。DeepMind研究员Tom Zahavy在论文中也将瓶颈归因于“操纵性溯因”，即发明全新基础假设的能力。
正文节选
Top mathematicians say LLMs are strong calculators but poor creative thinkers LLMs can't jump, Part II. Mathematicians Timothy Gowers and Peter Sarnak credit large language models with serious math skills but see hard limits for genuinely new ideas. Gowers argues current models are good at combining known methods and trying many search paths but lack the intuition to pick the few productive routes in a vast search space. Sarnak agrees: AI can derive results from existing theory but fails to deve