Maths Map
Maths Map is a website with one map of every theorem from my research on eight Erdős problems. Click a theorem and you go straight to where it is written up, in the long research record or the short paper for experts.
Limits: Lean checks only some of the theorems, and the papers are written with AI, so an expert still needs to read them. Seven of the eight questions remain open. For #1041, a formal version of the statement is refuted.
The #1041 formal-statement counterexample is due to ani.
Lean is a program that checks mathematical proofs.
