StarkWare 创始人:AI 解出 Erdős 单位距离问题后,数学证明已不可预测
jamestagg · x · 2026-10-09
StarkWare 创始人 Eli Ben-Sasson 发帖称,自从看到 AI 惊人地解决了 Erdős 单位距离问题(Erdős Unit Distance problem)后,他对 AI 在数学证明上还能做什么已经「不敢下任何预判」。Erdős 单位距离问题是组合几何中悬置多年的著名难题,AI 在此类问题上的突破被一线学者视为能力边界快速外移的信号。转发者也借此呼应:数学证明领域原本被视为 AI 难以撼动的堡垒,如今防线正在松动。
「漫话AGI」频道最新
- 马毅与 LeCun 隔空交锋：证明与编程自动化将重塑数学 — CSProfKGD · 2026-10-09
- OpenAI 内部人士辞职前看到了什么?Ezra Klein 深度访谈 — Middle_Cod_6011 · 2026-10-09
- 波兰央行经济顾问：我 20 年的核心技能已被 AI 不可逆地自动化 — IgorCarron · 2026-10-09
- longevity 领域博主预言：周五很快将变成周末的一部分 — rand_longevity · 2026-10-09
- Bdinu Reddy:当前 Agent 离超级智能还差两代,开源有时间追赶 — bindureddy · 2026-10-09
- 补充论据:现有后训练范式无法扩散所有技能,AI 失业冲击有限 — menhguin · 2026-10-09