Research
AI近期数学突破多集中在为猜想寻找反例
近期 AI 数学案例更多体现为帮助数学家寻找反例，包括 Claude 辅助雅可比猜想相关问题，以及 OpenAI 模型处理 Erdős 单位距离问题。
阅读 量子位 原文为什么重要
寻找反例是可验证且高价值的数学工作流，显示 AI 对科研的贡献正在从答案生成转向与专家协作探索问题结构。
关键事实
事实 1
Timothy Gowers是1998年菲尔兹奖得主。
来源与依据
正出自1998年菲尔兹奖得主、英国数学家Timothy Gowers。
事实 2
OpenAI内部模型解决了Erdős单位距离问题。
来源与依据
就拿上个月OpenAI内部模型搞定的Erdős单位距离问题来说。
事实 3
数学家Levent Alpöge借助Claude找到了雅可比猜想相关问题中的反例。
来源与依据
数学家Levent Alpöge借助Claude，找到了雅可比猜想相关问题中的反例。