数学界发布50大难题清单,专挑AI可自动验证解法的问题
skdh · x · 2026-10-02
数学家们在 Epoch AI 的倡议下,于6月在伦敦、多伦多、洛杉矶、纽约、伯克利和剑桥六城同步举办研讨会,评选出 50 个最紧迫的数学未解难题。
- 该清单有一个关键限定:问题的解法必须可以被自动验证,这是为了让 AI 系统的解答能被客观检验。
- 背景是各大公司的 AI 模型近期正快速攻克大量数学难题(如 OpenAI 此前的相关声明),Epoch AI 希望借此基准追踪 AI 的进展。
- 伦敦数学科学研究所的 Yang-Hui He 在会上提交了三个问题,涉及纽结理论、代数、拓扑和数论。
「研究」频道最新
- DyRAD 雷达重建目标检出率达 90.7%,远超最强基线的 26.9% — orlitany · 2026-10-02
- Technion 团队发布 DyRAD:首个面向动态驾驶场景的雷达新视角合成 — orlitany · 2026-10-02
- EMBL-EBI 团队开源 Karenina 框架:多维评测生物医学 AI 的 LLM 与 Agent — anshulkundaje · 2026-10-02
- Nature 子刊：校准指标后，深度学习基因扰动模型可胜过基线 — VectorInst · 2026-10-02
- arXiv 论文平均长度十年增长 17%,越长越成风 — luismbat · 2026-10-02
- Suffix Cache Reuse：为 Agent 设计的 KV 缓存复用新方案 — RulinShao · 2026-10-02