UnsolvedMath 数据集大更新:新增 900+ 道未解数学题供 AI 挑战
roydanroy · x · 2026-08-01
为测试 AI 能力而整理的未解数学题库 UnsolvedMath 发布了 v1.1 版本重大更新。
本次更新新增了超过 900 道开放性数学难题,涵盖低维拓扑、Kourovka 笔记本等多个前沿领域。此外,项目还上线了专属论坛,支持用户直接使用 TeX 提交解答或分享链接。完整数据集也已同步至 HuggingFace,方便开发者一次性下载使用。
「研究」频道最新
- 重整化群理论解释大模型涌现与泛化机制 — burny_tech · 2026-08-01
- 数学家呼吁拒收大模型生成的猜想证明 — miniapeur · 2026-08-01
- eNTK 理论从 BERT 时代走向现代 LLM 预训练,前沿实验室已采用 — prfsanjeevarora · 2026-08-01
- DeepMind与Anthropic共探具身推理,通用大模型尚难独立控躯干 — RanjayKrishna · 2026-08-01
- USearchMolecules 升级 3D 分子数据集,加速药物发现 — srchvrs · 2026-08-01
- 英伟达提出 Spatial-IQ 基准,揭示多模态模型空间推理缺陷 — NVIDIAAI · 2026-08-01