alt Hacker News"He proved that if a curve’s equation has a variable raised to a power higher than 3, then it must have a finite number of [rational] points."
"He proved that if a curve’s equation has a variable raised to a power higher than 3, then it must have a finite number of [rational] points."
This must be an incorrect description of what has actually been proved, since x^4 is a counterexample.