A Grok 4.5 agent reportedly refuted a 30-year-old graph conjecture in 8 minutes
littmath · x · 2026-07-23
AI agent allegedly found a refutation of a 30-year-old graph theory conjecture in Slack
A quoted post says Capy “accidentally” cracked Graph Theory Conjecture 284 inside Slack, using Grok 4.5 Medium, and produced a novel refutation in 8 minutes.
A follow-up from ChrSzegedy adds important context: the GRAFFITI conjectures were essentially pre-AI generated statements from the 1990s, many of which had not been worked on because they were too isolated from the rest of mathematics.
Related event: Musk Claims Grok 4.5 Agent Refutes 30-Year Graph Theory Conjecture(3 posts)→
More from Fun
- Ashlee Vance on paywall complaints: 'We're running a business. Yes.' — kyliebytes · 2026-10-27
- A 1,000-year-old Tamil inscription records a Chola-era hospital: 15 beds, named physician — SumitGup · 2026-10-27
- Every live game has a "KPIs (final) (2)" dashboard nobody has opened since launch — zanbrum · 2026-10-27
- Dad turns his toddler's 31-year-old quote into a song via SUNO kids' choir — NathanpmYoung · 2026-10-27
- Even human customer support now feels like talking to GPT — gaganghotra_ · 2026-10-27
- Academic modesty: calling your work 'a small contribution' while hoping everyone disagrees — prof_kamilov · 2026-10-27