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