UnsolvedMath 收录 17614 道开放数学难题供 LLM 攻克，遭数学家批「无理解刷题」
tak3sh8 · x · 2026-10-21
数学家 Chojecki 宣布其 UnsolvedMath 数据集更新至 v1.8，题目总量达 17,614 道，新增了全部 Erdős 问题（含已解决的）、Kourovka Notebook 等，并在 Hugging Face 开源、配套论坛。
不过该数据集引发争议：数学家 Quasilocal 批评其做法「令人不适」——疑似把 Oberwolfach 报告等场合中研究者宣称正在攻关的问题全部爬取下来，交给「对数学理解毫无兴趣」的 prompt 工程者当作刷题目标。这折射出数学界对 LLM 攻关开放问题这一路径的警惕与反感。
「研究」频道最新
- 开源从头设计酶系统 Artios 发布，剑指蛋白质设计新前沿 — rishabh16_ · 2026-10-21
- PyTorch 大会演讲：新手如何上手并读懂性能分析器 profiler — ariG23498 · 2026-10-21
- 全球最老 AI 加速器进入第 12 年，全面转型 AI for Science — Afinetheorem · 2026-10-21
- 第三方测试:Liquid d1-ultra 以 77.1% 反超 Perplexity Decider v1.2 登顶 — JosephJacks_ · 2026-10-21
- Reflection 开源 501B MoE 模型 Beam 1.0 的 RL 后训练全食谱 — ying11231 · 2026-10-21
- LangArena 独立基准:Goose 语言比 C/Rust 快 42% — pbaylies · 2026-10-21