- 一位数学家借助AI解决了一个长达87年的数学问题（雅可比猜想），并通过推文公布了这一成果。
- 雅可比猜想提出于1939年，并被列入21世纪难题清单，如今用一个仅216字符的反例证明了其不成立。
- 所使用的AI很可能是Anthropic公司的Claude Fable 5，该数学家称其在世界杯决赛期间提供了帮助。
- 这被认为是AI在数学领域产生重大影响的规模最大的猜想，标志着一次重要进展。
- 该反例验证简单，但包括AI提示在内的具体方法尚未公开。
- 这一结果否定了三元变量的猜想，但二元版本的猜想可能仍然成立。
- AI在寻找反例方面的作用与构建新数学理论形成对比，后者仍需人类创造力。
- 专家预测AI不久将能产出博士级别的数学成果，可能导致该领域发生根本性变革。