The Top Unsolved Questions in Mathematics Remain Mostly Mysterious
Just one of the seven Millennium Prize Problems named 21 years ago has been solved
Twenty-one years ago this week, mathematicians released a list of the top seven unsolved problems in the field. Answering them would offer major new insights in fundamental mathematics and might even have real-world consequences for technologies such as cryptography.
But big questions in math have not often attracted the same level of outside interest that mysteries in other scientific areas have. When it comes to understanding what math research looks like or what the point of it is, many folks are still stumped, says Wei Ho, a mathematician at the University of Michigan. Although people often misunderstand the nature of her work, Ho says it does not have to be difficult to explain. “My cocktail party spiel is always about elliptic curves,” she adds. Ho often asks partygoers, “You know middle school parabolas and circles? Once you start making a cubic equation, things get really hard.... There are so many open questions about them.”
One famous open problem called the Birch and Swinnerton-Dyer conjecture concerns the nature of solutions to equations of elliptic curves, and it is one of the seven Millennium Prize Problems that were selected by the founding scientific advisory board of the Clay Mathematics Institute (CMI) as what the institute describes as “some of the most difficult problems with which mathematicians were grappling at the turn of the second millennium.” At a special event held in Paris on May 24, 2000, the institute announced a prize of $1 million for each solution or counterexample that would effectively resolve one of these problems for the first time. Rules revised in 2018 stipulate that the result must achieve “general acceptance in the global mathematics community.”
The 2000 proclamation gave $7 million worth of reasons for people to work on the seven problems: the Riemann hypothesis, the Birch and Swinnerton-Dyer conjecture, the P versus NP problem, the Yang-Mills existence and mass gap problem, the Poincaré conjecture, the Navier-Stokes existence and smoothness problem, and the Hodge conjecture. Yet despite the fanfare and monetary incentive, after 21 years, only the Poincaré conjecture has been solved.
AN UNEXPECTED SOLUTION
In 2002 and 2003 Grigori Perelman, a Russian mathematician then at the St. Petersburg Department of the Steklov Mathematical Institute of the Russian Academy of Sciences, shared work connected to his solution of the Poincaré conjecture online. In 2010 CMI announced that Perelman had proved the conjecture and, along the way, had also solved the late mathematician William Thurston’s related geometrization conjecture. (Perelman, who rarely engages with the public, famously turned down the prize money.)
According to CMI, the Poincaré conjecture focuses on a topological question about whether spheres with three-dimensional surfaces are “essentially characterized” by a property called “simple connectivity.” That property means that if you encase the surface of the sphere with a rubber band, you can compress that band—without tearing it or removing it from the surface—until it is just a single point. A two-dimensional sphere or doughnut hole is simply connected, but a doughnut (or another shape with a hole in it) is not.
Martin Bridson, a mathematician at the University of Oxford and president of CMI, describes Perelman’s proof as “one of the great events of, certainly, the last 20 years” and “a crowning achievement of many strands of thought and our understanding of what three dimensional spaces are like.” And the discovery could lead to even more insights in the future. “The proof required new tools, which are themselves giving far-reaching applications in mathematics and physics,” says Ken Ono, a mathematician at the University of Virginia.
Ono has been focused on another Millennium Problem: the Riemann hypothesis, which involves prime numbers and their distribution. In 2019 he and his colleagues published a paper in the Proceedings of the National Academy of Sciences USA that reexamined an old, formerly abandoned approach for working toward a solution. In an accompanying commentary, Enrico Bombieri, a mathematician at the Institute for Advanced Study in Princeton, N.J., and a 1974 winner of mathematics’ highest honor, the Fields Medal, described the research as a “major breakthrough.” Yet Ono says it would be unfounded to describe his work as “anything that suggests that we’re about to prove the Riemann hypothesis.” Others have also chipped away at this problem over the years. For instance, mathematician “Terry Tao wrote a nice paper a couple years ago on [mathematician Charles] Newman’s program for the Riemann hypothesis,” Ono says.
PROGRESS ON WHAT WON’T WORK
The fact that just one of the listed problems has been solved so far is not surprising to the experts—the puzzles are, after all, long-standing and staggeringly difficult. “The number of problems that have been solved is one more than I would expect” to see by now, says Manjul Bhargava, a mathematician at Princeton University and a 2014 Fields medalist. Bhargava himself has reported multiple recent results connected to the Birch and Swinnerton-Dyer conjecture, including one in which he says he and his colleagues “prove that more than 66 percent of elliptic curves satisfy the Birch and Swinnerton-Dyer conjecture.”
None of the problems will be easy to solve, but some may prove especially intractable. The P versus NP problem appears so difficult to solve that Scott Aaronson, a theoretical computer scientist at the University of Texas at Austin, calls it “a marker of our ignorance.” This problem concerns the issue of whether questions with solutions that are easy to find (a class of queries called P) are also easy to verify (a class called NP). Aaronson has written extensively about the P versus NP problem. In a paper published in 2009 he and Avi Wigderson, a mathematician and computer scientist at the Institute for Advanced Study and one of the winners of the 2021 Abel Prize, showed a new barrier to proving that the P class is not the same as the NP class. The barrier that Aaronson and Wigderson found is the third one discovered so far.
“There’s a lot of progress on showing what approaches will not work,” says Virginia Vassilevska Williams, a theoretical computer scientist and mathematician at the Massachusetts Institute of Technology. “Proving that P [is] not equal to NP would be an important stepping-stone toward showing that cryptography is well founded,” she adds. “Right now cryptography is based on unproved assumptions,” one of which is the idea that P is not equal to NP. “In order to show that you cannot break the cryptographic protocols that people need in modern computers,” including ones that keep our financial and other online personal information secure, “you need to at least prove that P is not equal to NP,” Vassilevska Williams notes. “When people have tried to pin me down to a number,” Aaronson says, “I’ll give a 97 percent or 98 percent chance that P is not equal to NP.”
CLIMBING MOUNT EVEREST
Searching for solutions to the prize problems is similar to trying to climb Mount Everest for the first time, Ono says. “There are various steps along the way that represent progress,” he adds. “The real question is: Can you make it to base camp? And if you can, you still know you’re very far.”
For problems such as the Birch and Swinnerton-Dyer conjecture and the Riemann hypothesis, Ono says, “surely we’re at Nepal”—one of the countries of departure for climbing the mountain—“but have we made it to base camp?” Mathematicians might still need additional “gear” to trek to the peak. “We’re now trying to figure out what the mathematical analogues are for the high-tech tools, the bottles of oxygen, that will be required to help us get to the top,” Ono says. Who knows how many obstacles could be sitting between current research and possible solutions to these problems? “Maybe there are 20. Maybe we’re closer than we think,” Ono says.
Despite the difficulty of the problems, mathematicians are optimistic about the long term. “I hope very much that while I’m president of the Clay institute, one of them will be solved,” says Bridson, who notes that CMI is in the process of strategizing about how to best continue raising awareness about the problems. “But one has to accept that they’re profoundly difficult problems that may continue to shape mathematics for the rest of my life without being solved.”