UnsolvedMath 数据集更新至 8785 题，包含 AI 解题结果
pbaylies · x · 2026-08-17
UnsolvedMath 数据集发布了新版本，现包含 8,785 个未解决的数学问题，新增了来自 AIM 研讨会的 3,359 个问题。作为实验，团队在集成新问题前使用 GPT-5.6 Sol xhigh 实例进行了求解，生成了约 177 个反例和 174 个完整解答，这些结果已作为 AI 生成内容标注并整合进数据集中。该数据集涵盖了千禧年大奖难题、希尔伯特 23 问等权威来源，可在 Hugging Face 获取。
「研究」频道最新
- AI 递归自我改进难在何处？新研究称创新难以生成 — natolambert · 2026-08-17
- AI 结合数据科学：向实时预测洞察演进 — mdancho84 · 2026-08-17
- 递归自我改进难度被低估，AI 难产新创意 — sarahcat21 · 2026-08-17
- Pathway 小模型打破 ARC-AGI 成本效率纪录 — dank_philosopher · 2026-08-17
- Ben Recht 提议「微会议」：取代万人学术大会的知识生产方式 — beenwrekt · 2026-08-17
- hipocampus:一条命令给 AI Agent 装三层记忆,效果提升 21 倍 — tom_doerr · 2026-08-17