https://whataifound.org/finding/2026-09-16-four-color-theorem-lean
Four Color Theorem formalized in Lean 4 by AI agents, in two independent developments: graded...
Sep 16, 2026 - Four Color Theorem formalized in Lean 4 by AI agents, in two independent developments is graded claimed on whataifound.org, with the AI's role graded ai-led....
four color theoremby aiformalizedleanagents