Will at least 4 of the 7 Millennium Problems be solved by 2040?

Prediction market on manifold. https://www.claymath.org/millennium-problems 1 was solved - the Poincare conjecture - by Grigori Perelman. There are 6 remaining. There are 17ish years left before this market closes. Apr 4, 1:51am: Will at least 4 of the 7 Millennium Problems by solved by 2040? → Will at least 4 of the 7 Millennium Problems be solved by 2040?

Liquidity: $1,155. Resolves: 12/31/2039.