Claude and Lean 4 Disprove Erdős Conjecture

A GitHub project named EvolvingPrograms utilizes Anthropic's Claude models and Lean 4 to formally prove that the Erdős–Simonovits degeneracy conjecture fails at all levels. This marks a significant breakthrough for AI in advanced mathematics.

2026-08-02 ~ 2026-08-02 · 4 related posts

• AI Tackles Erdős Conjecture: Claude Completes Lean 4 Formalization — ctjlewis · 2026-08-02
• AI-Assisted Proof: Erdős–Simonovits Conjecture Fails at Every Level — ctjlewis · 2026-08-02
• Claude-Assisted Lean 4 Project Refutes Erdős–Simonovits Conjecture — ctjlewis · 2026-08-02

1 near-duplicate retellings: ctjlewis