Fields Medalist Gowers says Grok solved a graph theory problem he studied for a year
paul_cal · x · 2026-10-14
Fields Medalist Timothy Gowers reports that after several attempts, he found a prompt that got Grok to solve the well-known Dubnovy Blazen graph theory problem he had been working on for over a year, asking how long until AI surpasses human mathematicians across the board.
Paul Graham shared it, noting that last year's April Fool's joke is this year's reality.
More from AGI Musings
- Zuckerberg calls out AI 'pacing' rhetoric, Domingos voices support — pmddomingos · 2026-10-14
- Founder: Bangalore feels 20 years behind SFO in AI adoption and ambition — prasanna_says · 2026-10-14
- Scale AI's Alexandr Wang: vision and ambition, not intelligence, are the scarce resources — ycombinator · 2026-10-14
- a16z and Dan Boneh: AI's math leap could compress a decade of crypto trust-building into one month — a16z · 2026-10-14
- Who bears the burden of proof on AI doom? Accelerationists and doomers clash — AccBalanced · 2026-10-14
- MIT PhD Student Co-Authors Book Chronicling the Rise and Fall of the Tech Worker Movement — soumitrashukla9 · 2026-10-14