A graph of solutions to the “cursed curve.” Jennifer Balakrishnan and Sachi Hashimoto, plotted using SageMath.
Mathematical proofs are elaborate theoretical arguments that often say little about actual numbers and calculations - the concrete values non-mathematicians think of as "solving a math problem." Occasionally, though, theoretical proofs lead to explicit results. This was the case with an exciting sequence of events that culminated last month.

The story takes place in the mathematical field of number theory. The theoretical side involves some intriguing new ideas from Minhyong Kim, a mathematician at the University of Oxford.

As I explained in a recent article, Kim works in a highly abstract area of mathematics, but the goal of his work is actually quite straightforward: to find a method for identifying all the rational solutions to particular kinds of equations.

The rational numbers, remember, consist of all the numbers that can be written as a fraction. So for the equation x2 + y2 = 1, one rational solution is x = 3/5 and y = 4/5.

The problem Kim is wrestling with dates all the way back to Diophantus of Alexandria, who studied such "Diophantine equations" in the third century A.D. The most significant recent result on the topic provided an important but blunt reframing of the problem: In 1986, Gerd Faltings won the Fields Medal, math's highest honor, primarily for proving that certain classes of Diophantine equations have only finitely many rational solutions (rather than infinitely many).

Faltings' proof was what mathematicians call "ineffective," meaning that it didn't actually count the number of rational solutions, let alone identify them. The vast majority of proofs in number theory are similarly ineffective. This kind of proof arises especially often when mathematicians argue by contradiction: If there are infinitely many rational solutions, then you get a logical contradiction; therefore, there must be only finitely many rational solutions. (And good luck finding them.)

Since Faltings' result, mathematicians have looked for "effective" methods for finding rational solutions to Diophantine equations, and Kim has one of the most promising new ideas. Drawing inspiration from physics, he thinks of rational solutions to equations as being somehow the same as the path that light travels between two points.

Kim argues that it should be possible to start with a Diophantine equation and construct some other geometric object based on it (called a Selmer variety), such that the equation and the new object intersect at precisely the points that represent rational solutions. Kim has been developing this idea for more than a decade, and mathematicians have been curious to see whether it will really work in practice.