Will at least 4 of the 7 Millennium Problems be solved by 2040? · YES 66% (+1pp) — Manifold odds