菲尔兹奖得主 Gowers：AI 目前突破数学猜想主要靠找反例
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
1998年菲尔兹奖得主 Timothy Gowers 复盘近几个月 AI 的数学成果，认为其共同点是构造反例而非正面证明，OpenAI 内部模型为 Erdős 单位距离问题找到反例，数学家 Levent Alpöge 借助 Claude 找到雅可比猜想相关问题中的反例。
来源：量子位 · 微信公众号 · mp.weixin.qq.com