Lean 4 / Mathlib research infrastructure for eight open Erdős problems: 68, 243, 249, 251, 257, 269, 1041, 1049. All remain open. Follow 130 claim records to exact source, evidence, and surviving boundaries; Comparator and Palomar surfaces included.
Lean Updated about 2 months ago 1 commits
sigma-ai|Mirror: wcook04/plectis-erdos (⭐0)
about 2 months agoAbout
Lean 4 / Mathlib research infrastructure for eight open Erdős problems: 68, 243, 249, 251, 257, 269, 1041, 1049. All remain open. Follow 130 claim records to exact source, evidence, and surviving boundaries; Comparator and Palomar surfaces included.
Readme