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
- New "Discovery Episode" Framework Measures AI Scientists by Real Research Cycles — 量子位 · 2026-08-24
- AI Claims Breakthrough on Erdős Problem Transcendence — inductionheads · 2026-08-24
- Stanford's LLM-as-a-Verifier Boosts DeepSeek Score to 88% on Terminal-Bench — Saboo_Shubham_ · 2026-08-24
- Heterogeneous Quantum Architecture Cuts Physical Qubit Needs 138x for Fault Tolerance — MJBiercuk · 2026-08-24
- InfinityEdit: Infinite Video Editing via Lightweight Adapter — Yunze Tong · 2026-08-24
- Tencent Benchmarks Hybrid-Thinking MLLMs for Response Alignment — tencent · 2026-08-24