Musk Claims Grok 4.5 Agent Refutes 30-Year Graph Theory Conjecture

Elon Musk claimed that a Grok 4.5 agent named Capy found a counterexample in just 8 minutes, successfully refuting a 30-year-old graph theory conjecture shared in Slack.

2026-07-23 ~ 2026-07-23 · 3 related posts

• AI agent finds a refutation to a 30-year-old graph theory conjecture in Slack — veggie_eric · 2026-07-23
• Musk says Grok 4.5 refuted a 30-year graph conjecture in 8 minutes — kevinnbass · 2026-07-23
• A Grok 4.5 agent reportedly refuted a 30-year-old graph conjecture in 8 minutes — littmath · 2026-07-23