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 问题，因为其中多数只是文献检索而非新数学发现。
「研究」频道最新
- Chelsea Finn：机器人 RL 的瓶颈是物理 rollout 成本 — ycombinator · 2026-07-27
- ICML 2026 口头论文复现分数重算后仍偏中等 — profjamesevans · 2026-07-27
- 长周期智能体最终需要不可变事件日志 — sebpaquet · 2026-07-27
- Seed IQ 在 Doom II 里通关，引出 ARC-AGI 之后的评测问题 — Fit_Transition8824 · 2026-07-27
- 实测智能体数据科学工作流：代码能跑但常答错问题 — hugobowne · 2026-07-27
- 一份横跨 ML、系统、NLP 与音频的经典论文清单 — deliprao · 2026-07-27