StarkWare founder Eli Ben-Sasson: AI solved the Erdős Unit Distance problem, all bets are off
jamestagg · x · 2026-10-09
StarkWare co-founder Eli Ben-Sasson says he was astonished to see AI solve the Erdős Unit Distance problem, a long-standing open question in combinatorial geometry. His takeaway: after this result, "all bets are off" as to what AI can prove — a notable signal from a first-tier founder that AI's frontier in mathematical proof is moving fast.
More from AGI Musings
- What this OpenAI insider saw before quitting — The Ezra Klein Show — Middle_Cod_6011 · 2026-10-09
- NBP advisor says AI has irreversibly automated his 20-year-old career skills — IgorCarron · 2026-10-09
- Longevity blogger predicts Friday will soon become part of the weekend — rand_longevity · 2026-10-09
- Bindu Reddy: Agents Still Random and Shallow, Superintelligence Two Generations Away — bindureddy · 2026-10-09
- Current post-training paradigms can't diffuse every human skill, capping AI's job impact — menhguin · 2026-10-09
- Blogger argues AI won't cause net job losses for a decade as human labor value rises — menhguin · 2026-10-09