The Top Unsolved Questions in Mathematics Remain Mostly Mysterious

Jun 1, 2021 | Location West County

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.


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.


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.”


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.”


Locations near
Ashburn 0.93 mi
43330 Junction Plaza
Ashburn, VA 20147
Sterling 4.07 mi
44 Pidgeon Hill Drive
Sterling, VA 20165
Leesburg 5.69 mi
521 E Market St
Leesburg, VA 20176
Herndon 7.66 mi
2465 Centreville Road
Herndon, VA 20171
Stone Ridge 7.88 mi
42020 Village Center Plaza
Stone Ridge, VA 20105
Reston 8.62 mi
1424 North Point Village Center
Reston, VA 20194
Purcellville 12.72 mi
1020 E Main St
Ste L
Purcellville, VA 20132
North Potomac 13.58 mi
12150 Darnestown Rd
Gaithersburg, MD 20878
Centreville 14.52 mi
5959 Centreville Crest Ln
Centreville, VA 20121
Fairfax 14.67 mi
11891 Grand Commons Ave
Fairfax, VA 22030
Potomac 14.98 mi
10232 River Road
Potomac, MD 20854
Germantown MD 15.03 mi
12800 Middlebrook Road
Germantown, MD 20874
Tysons 15.45 mi
328 Maple Ave E
Vienna, VA 22180
Haymarket 17.87 mi
15125 Washington St
Haymarket, VA 20169
Rockville 18.19 mi
20 Courthouse Square
Rockville, MD 20850
Mclean 18.23 mi
1320 Old Chain Bridge Road
Suite #190
McLean, VA 22101
Gaithersburg 18.71 mi
9132 Rothbury Drive
Gaithersburg, MD 20886
North Bethesda 20.42 mi
5268 Nicholson Ln
Kensington, MD 20895
Falls Church 20.59 mi
6674 Arlington Blvd
Falls Church, VA 22042
Manassas 20.65 mi
9722 Liberia Ave
Manassas, VA 20110
Bristow 20.71 mi
12705 Braemar Village Pz
Bristow, VA 20136
Burke 20.82 mi
9411 Old Burke Lake Rd
Burke, VA 22015
Bethesda 21.3 mi
4918 Fairmont Ave
Bethesda, MD 20814
Annandale 21.64 mi
7000 Columbia Pike
Annandale, VA 22003
Damascus 22.77 mi
9815 Main St
Damascus, MD 20872
Arlington, VA 23.29 mi
4801 1st St N
Arlington, VA 22203
Cathedral Heights 23.51 mi
3706 Macomb St NW
Washington, D.C., DC 20016
Olney 23.96 mi
18157 Village Center Dr
Olney, MD 20832
Downtown Silver Spring 24.94 mi
1133 East West Highway
Silver Spring, MD 20910
Lorton 25.06 mi
9027 Silverbrook Rd
Fairfax Station, VA 22039
West Washington 25.69 mi

Washington, DC 20009
Alexandria City 25.7 mi
4605 Duke Street
Alexandria, VA 22304
Lake Ridge 26.5 mi
12473 Dillingham Square
Lake Ridge, VA 22192
Frederick North 26.7 mi
905 W. 7th Street
Frederick, MD 21701
Northern Silver Spring 26.75 mi
732 Cloverly Street
Silver Spring, MD 20905
Alexandria 27.17 mi
6483 Old Beulah Street
Alexandria, VA 22315
Warrenton 27.42 mi
512 Fletcher Drive
Warrenton, VA 20186
Mount Airy 28.24 mi
411 E Ridgeville Blvd
Mt Airy, MD 21771
Capitol Hill DC 28.48 mi
621 Pennsylvania Ave SE
1st-floor unit
Washington, DC 20003
Dale City 28.99 mi
5512 Staples Mill Plaza
Dale City, VA 22193
Mount Vernon 29.66 mi
7696 H Richmond Hwy
Alexandria, VA 22306
Beltsville 30.89 mi
10914 Baltimore Ave
Beltsville, MD 20705
Clarksville 31.56 mi
12250 Clarksville Pike
Clarksville, MD 21029
Laurel 35.02 mi
10095 Washington Blvd N
Laurel, MD 20723
Woodmore 35.27 mi
9101 Woodmore Centre Drive
Lanham, MD 20706
Glenn Dale 35.83 mi
10559 Greenbelt Rd
Lanham, MD 20706
Sykesville 36.57 mi
1207 Liberty Rd.
Sykesville, MD 21784
Ellicott City 37.11 mi
3290 Pine Orchard Lane
Ellicott City, MD 21042
Winchester 37.62 mi
2512 S Pleasant Valley Rd
Winchester, VA 22601
Columbia 38.19 mi
8827 Centre Park Drive
Columbia, MD 21045
Stafford 39.58 mi
263 Garrisonville Road
Stafford, VA 22554
Bowie 41.26 mi
15231 Hall Rd
Bowie, MD 20721
Waldorf 42.24 mi
3022 Festival Way
Waldorf, MD 20601
Crofton 42.6 mi
1153 Route 3 North
Crofton, MD 21054
Owings Mills 44.15 mi
9433 Common Brook Rd #100
Owings Mills, MD 21117
Pikesville 46.84 mi
1433 Reisterstown Rd
Pikesville, MD 21208
Dunkirk 49.92 mi
10735 Town Center Blvd
Dunkirk, MD 20754