菲尔兹奖得主 Gowers 称 AI 突破数学猜想主要靠找反例
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
1998 年菲尔兹奖得主 Timothy Gowers 在博客中复盘近几个月 AI 的数学战绩，发现这些突破大多走的是构造反例或特殊对象的路线，例如 OpenAI 内部模型解决的 Erdős 单位距离问题，以及数学家 Levent Alpöge 借助 Claude 找到雅可比猜想相关问题中的反例。
来源：硅星人Pro · 微信公众号 · mp.weixin.qq.com