AI-Assisted Proof: Erdős–Simonovits Conjecture Fails at Every Level
ctjlewis · x · 2026-08-02
The GitHub project EvolvingPrograms/erdos-simonovits-degeneracy provides a complete Lean 4 formalization showing the Erdős–Simonovits degeneracy conjecture fails at every level (r ≥ 2), with the sharp asymptotic law at Gibbs weight e. Completed by Claude Fable 5 and Claude Opus 5 on 2026-08-01, the project includes multiple Lean files.
Related event: Claude and Lean 4 Disprove Erdős Conjecture(4 posts)→
More from Research
- Tessellation-free geometric queries on displaced surfaces cut caustics variance 10x — ssh4net · 2026-10-16
- MIT's Buehler: AI as 'a new language of science,' three years on — ProfBuehlerMIT · 2026-10-16
- Mere availability of AI advice collapses human "I don't know" from 43% to 3% — ValerioCapraro · 2026-10-16
- One Bias Score, Two Factors: POSTECH Paper Decomposes Option Bias in MC Evaluation — Hyunjong Ok · 2026-10-16
- When the KV Cache Is Slower Than the GPU: Remote KV Tiers Backfire in Production — MultiverseComputingCAI · 2026-10-16
- Artificial Analysis launches Decision Index for the emerging decision model category — ArtificialAnlys · 2026-10-16