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 Hardy-Ramanujan taxicab number satisfies , giving the four ordered representations .
AdditiveCombinatorics.sumRep Erdos829.cubes 1729 = 4TestStatement only, no proof