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
There is exactly one ordered pair of cubes summing to , namely .
AdditiveCombinatorics.sumRep Erdos829.cubes 0 = 1TestStatement only, no proof