Skip to content

feat(ErdosProblems): 1088, Distinct Distances Conjecture in ℝᵈ#1386

Open
manastole03 wants to merge 2 commits intogoogle-deepmind:mainfrom
manastole03:Erdős_Problem_1088

Hidden character warning

The head ref may contain hidden characters: "Erd\u0151s_Problem_1088"
Open

feat(ErdosProblems): 1088, Distinct Distances Conjecture in ℝᵈ#1386
manastole03 wants to merge 2 commits intogoogle-deepmind:mainfrom
manastole03:Erdős_Problem_1088

Commits

Commits on Dec 13, 2025