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 问题，因为其中多数只是文献检索而非新数学发现。
「研究」频道最新
- 开源编译器 Latch 从 PyTorch 生成训练 megakernel，H100 上提速 2.75 倍 — sguada · 2026-10-27
- π0.5 实验：演示数从 10 增至 438，放球入碗成功率 7%→83% — stingning · 2026-10-27
- 灵巧操作基准 HandsOn 发布:66 个人工核验任务配 1.8 万条人类示范 — stingning · 2026-10-27
- FrontierCS 2 登陆 Kaggle：48 项任务让智能体复现 13 领域论文贡献 — MeganRisdal · 2026-10-27
- LightMTP：轻量潜空间多 token 预测助 LLM 预训练学会提前规划 — gdm3000 · 2026-10-27
- DexPort：手持真机器手的 20 自由度灵巧手数据采集接口 — pabbeel · 2026-10-27