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 integer is not the sum of two cubes.
AdditiveCombinatorics.sumRep Erdos829.cubes 3 = 0TestStatement only, no proof