AI 模型在数学难题上取得系列突破引关注

OpenAI 与 Anthropic 等公司在数学难题上接连取得进展，引发关注。OpenAI 于五月找到埃尔德什单位距离猜想的反例，七月解出十个未解问题，九月给出纳维-斯托克斯方程的证明；Anthropic 则形式化了费马大定理，并推进黎曼猜想的相关界。 上述说法来自 Latent Space 2026年10月23日的报道《AI 为什么开始擅长解数学题》，属于该报道所陈述的内容，其准确性未经独立证实。

AI 根据报道生成 · 22 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。