Problem Statement
LLM Claims
Contribute
Have an LLM attempt or Lean formalization to share for this open problem? Lean contributions use a short TeX summary with a link to the externally hosted code. See our Contributing Guidelines for the submission format and Lean code safety guidance.
Comments
View this discussion on GitHub