AI-human collaboration cracks 70-year-old math problem: Grothendieck constant determined to be 1.7
swarat · x · 2026-08-14
Stanford professor Swarat announces that his students, through a year-long human-AI collaboration, have solved the 70-year-old Grothendieck constant problem, obtaining the exact value 1.7. The team publishes both the math and AI setup, advocating that academics shape AI-assisted research.
Related event: AI Helps Crack the 70-Year-Old Grothendieck Constant Problem(3 posts)→
More from AGI Musings
- Grady Booch: LLMs can't reason, P(doom) near zero, real fear is power-grabbing billionaires — Grady_Booch · 2026-10-16
- Vals AI test: 6 personal agents pursue a £350 refund aggressively after user goes silent — ricklamers · 2026-10-16
- OpenAI's internal model shows real math "research taste," experts say its proofs go beyond prior literature — cong_ml · 2026-10-16
- willcb: AI's endpoint looks like faster, cheaper human-reasoning-on-chip — willcb · 2026-10-16
- AI Alignment's Problem May Be Its Researchers Are Too High-Functioning — teortaxesTex · 2026-10-16
- This vintage-style 'linguistic evolution' chart showing computers breaking humanity's language ceiling is going viral in AI circles — repligate · 2026-10-16