Erdős problem 829
Erdős Problem 829 (open). Let be the set of perfect cubes. Is it true that ? That is, does there exist a natural number such that the number of representations of as a sum of two cubes is as ?
Sources
FormalConjectures/ErdosProblems/
829.lean
Retained formal statement
The only ordered pair of cubes summing to is .
AdditiveCombinatorics.sumRep Erdos829.cubes 2 = 1TestStatement only, no proof