LLM 数学开放题记分榜

ctjlewis · x · 2026-07-21

这条帖配图给出一个 LLM 解决开放数学问题的记分榜，时间点标注为 2026 年 7 月。

图中声称：截至目前，美国实验室或美国本土 prompt 作者贡献了 20+ 个被署名的 open problem 解决结果，而中国为 0 个 credited solves、1 个 partial contribution。按实验室看，DeepMind 9 个、OpenAI 6 个、Axiom 4 个、Harmonic 3 个、Anthropic 1 个、ByteDance 约 1 个，DeepSeek / Alibaba / Moonshot / Zhipu 为 0。说明文字还强调，这里统计的是“模型被记为 solver 或 co-solver”的命名开放问题，不包括自 2025 年 10 月以来被归为“已解决”的约 100 个 Erdős 问题，因为其中多数只是文献检索而非新数学发现。