AI 近期解出 16 道数学题，平均悬而未决 47 年
matiroy · x · 2026-07-24
AI 最近解出 16 道数学题，反例略多于证明
帖子整理了一个“AI 近期解题”样本：共 16 个数学问题被解决，其中：
- 9 个是通过 反例 解决
- 7 个是通过 证明 解决
- 10/16 带有 形式化证明
- 8/16 给出了 精确的有限见证或证书
在已知提出时间的 11 题里，平均“悬而未决”了 47 年。配图表格还按影响力列出了一批典型问题，包括图论、离散几何、代数和组合优化中的老问题，有些结果已经被 Lean 形式化。
「研究」频道最新
- 本周热议的数学猜想到底关我什么事?一张普通人视角清单 — koltregaskes · 2026-09-11
- 果蝇大脑 LLM 权重上架 Hugging Face,兼容 transformers 可直接跑 — ngxson · 2026-09-11
- 用果蝇大脑连接组造了个 LLM,作者放出在线 demo — ngxson · 2026-09-11
- 社会学家 Harry Collins：LLM 无法发明新语言，做不了前沿科学 — whoamisri · 2026-09-11
- 「Waymo 效应」：AI 正在悄悄让科研协作变少 — JohnHammersley · 2026-09-11
- HF 工程师争论:非生成任务全用因果注意力是在浪费算力 — antoine_chaffin · 2026-09-11