A more human-readable proof of the four color theorem may exist, from years of work
nanjiang_cs · x · 2026-09-12
nanjiangcs mentions seeing a piece yesterday about a new, potentially more human-readable proof of the four color theorem resulting from years of work, though no link was immediately available.
More from Research
- Clay Math Institute says the Navier-Stokes problem 'has apparently been settled' — badumtsssst · 2026-09-12
- Decagon shares 19+ ablations on using GEPA for test-driven prompt optimization in production — kastnerkyle · 2026-09-12
- GraphED: graph-based AI learns how solids deform by sharing law structure across materials — bravo_abad · 2026-09-12
- GeoGuessr as an RL env: 4B VLM trained with OpenEnv and TRL to play the game — SergioPaniego · 2026-09-12
- Blur-to-video: SIGGRAPH Asia 2025 work recovers past, present and future frames from one motion-blurred photo — CSProfKGD · 2026-09-12
- IEEE Spectrum revisits how Lotfi Zadeh defied his critics to invent fuzzy logic — ArtificialOther · 2026-09-12