Euler's sum of powers conjecture

About 6 years old · traced to

Let n,k≥2n,k\geq 2. Euler's sum of powers conjecture. If

a1k+a2k+⋯+ank=an+1k,a_1^k+a_2^k+\cdots+a_n^k=a_{n+1}^k,

then n≥kn\geq k. The conjecture was refuted by a single counterexample, as reported in the source, so the claim is no longer open.

References

Primary source

Maciej Bendkowski, “How to generate random lambda terms?”, arXiv:2005.08856 (2020).

Progress summary

Refreshed
Claimed progress

Euler’s conjecture was disproved in 1966, although finding such counterexamples for every higher exponent remains open.

Euler proposed the assertion in 1778: representing one kkth power as a sum of nn kkth powers should require n≥kn\geq k. Lander and Parkin disproved it in 1966 with an explicit exponent-55 example.

Known results

  • The assertion holds for k=3k=3.
  • Elkies found an exponent-44 counterexample in 1988; Frye found the smallest known one.
  • Lander--Parkin (1966) gave 275+845+1105+1335=144527^5+84^5+110^5+133^5=144^5.
  • No counterexample for k>5k>5 is reported in the cited literature.

February 24, 2026: new exponent-55 solution

Jeffrey Braun reported a fourth primitive solution for k=5k=5, namely 7191155+13316225+(−1340632)5+19562135=19568785719115^5+1331622^5+(-1340632)^5+1956213^5=1956878^5. This adds another counterexample of the already-refuted type and does not address k>5k>5.

Current status (as of September 2026): The original conjecture is false by the Lander--Parkin counterexample, while whether counterexamples exist for k>5k>5 remains open.

Sources

Solutions 0

No solutions have been posted yet.