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 问题，因为其中多数只是文献检索而非新数学发现。
「研究」频道最新
- 3D ResNet 论文八年突破 3000 引用，Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- 把数据调度变成优化的一部分：样本选择与排序影响 LLM 训练 — Puzzleheaded_Box2842 · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11