7月20日，Anthropic的数学研究员Levent Alpöge发了一条推文，称他用Fable 5模型证明了雅可比猜想的部分内容是错误的；两天后，7月22日，独立研究者Dmitry Rybin用OpenAI的GPT‑5.6 Pro模型推翻了迪尼茨-加格-戈曼斯猜想的“广义非平面版”。
AI解决了怎样的数学证明难题，或者把某个证明往前推进了一步，这样的新闻自今年5月OpenAI第一次用通用模型证伪了一个近80年没有解决的数学问题（注：埃尔德什平面单位距离猜想）后几乎每周都会出现。进入7月，“捷报”更新的速度进一步提升到了以天为单位。
最新消息是，8月1日，OpenAI宣布它还没有发布的下一代模型Astra已经解决或推动解决了10道长期未解的数学问题，横跨高维几何、编码理论、群论、量子计算等多个数学的子领域。Anthropic则在8月11日称，其尚未发布的Claude研究版尝试了证明黎曼猜想，结果是将一项相关结论的已知下限从41.6%提高到了67.2%，刷新此前人类数学家努力多年的研究纪录。
对大部分非数学领域的普通人类来说，光是读懂上面这些数学问题的题目就需要研究半天。但现在，这些问题成了大模型公司们最热衷攻克的领域。
01.有哪些公司入局了？