AI 近期解出 16 道数学题，平均悬而未决 47 年
matiroy · x · 2026-07-24
AI 最近解出 16 道数学题，反例略多于证明
帖子整理了一个“AI 近期解题”样本：共 16 个数学问题被解决，其中：
- 9 个是通过 反例 解决
- 7 个是通过 证明 解决
- 10/16 带有 形式化证明
- 8/16 给出了 精确的有限见证或证书
在已知提出时间的 11 题里，平均“悬而未决”了 47 年。配图表格还按影响力列出了一批典型问题，包括图论、离散几何、代数和组合优化中的老问题，有些结果已经被 Lean 形式化。
「研究」频道最新
- π0.5 实验：演示数从 10 增至 438，放球入碗成功率 7%→83% — stingning · 2026-10-27
- 灵巧操作基准 HandsOn 发布:66 个人工核验任务配 1.8 万条人类示范 — stingning · 2026-10-27
- FrontierCS 2 登陆 Kaggle：48 项任务让智能体复现 13 领域论文贡献 — MeganRisdal · 2026-10-27
- LightMTP：轻量潜空间多 token 预测助 LLM 预训练学会提前规划 — gdm3000 · 2026-10-27
- DexPort：手持真机器手的 20 自由度灵巧手数据采集接口 — pabbeel · 2026-10-27
- EMNLP 研究：AI 翻译小说读得顺，但质量波动远大于人类译本 — tuvllms · 2026-10-27