Schaffer's conjecture, posed in 1956, asks a deceptively simple question: when does the sum of the first x whole numbers each raised to the same power k happen to equal a perfect power? In other words, when does 1 raised to k, plus 2 raised to k, all the way up to x raised to k, equal some number y raised to some power n? Schaffer predicted that the only solutions are a handful of trivial or well-known cases, and proving this turns out to be extremely difficult.
The authors focus on even values of k, meaning k equals 2, 4, 6, and so on up to 42. Their key insight is to transform the original single complicated equation into a structured collection of three linked equations, each having the form where one whole number power is subtracted from another whole number power to give 1. This reduction is useful because mathematicians have developed powerful tools for attacking equations of exactly this shape.
With the problem recast in this new form, the authors deploy three major techniques from modern number theory. The modular method, which became famous through Andrew Wiles's proof of Fermat's Last Theorem, analyzes the problem by working with remainders after division. Linear forms in logarithms provide precise estimates controlling how close certain expressions can come to zero. Local methods check compatibility conditions at individual primes. Combining all three approaches, the authors successfully verify Schaffer's conjecture for every even k up to and including 42, meaning no surprising solutions exist in that entire range.