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 问题，因为其中多数只是文献检索而非新数学发现。
「研究」频道最新
- Diamandis 详解 AI 癌症导航与 $100 基因测序如何缩小抗癌鸿沟 — PeterDiamandis · 2026-10-27
- EMNLP Oral 论文：免训练 KV 缓存驱逐实现 10 倍内存压缩 — yuz9yuz · 2026-10-27
- ICML 2026立场论文:别把中间token叫「思考轨迹」 — rao2z · 2026-10-27
- forking 收官：probe gap 随上下文频率呈幂律，掩蔽低频 n-gram 可缩小差距 — ZimingLiu11 · 2026-10-27
- 「forking」机制拆解：n-gram 表把 logits 切成互不干扰的子空间 — ZimingLiu11 · 2026-10-27
- 被称最佳 LoRA 讲解视频：从几何直觉讲到任务内在维度 — sophiamyang · 2026-10-27