Which Millennium Prize Problem will be solved next?: Will Birch and Swinnerton-Dyer be solved next before 2045? Birch and Swinnerton-Dyer Conjecture

If Birch and Swinnerton-Dyer Conjecture is the first Millennium Prize Problem solved after Issuance, then the market resolves to Yes. A Millennium Prize Problem is considered Solved at the earliest time that any of the following occurs: A complete proof, disproof, or counterexample addressing the problem as officially formulated is published in a peer-reviewed journal. The Clay Mathematics Institute or another recognized authoritative academic body officially recognizes in writing that the problem has been resolved by reference to a specific written work. At least two Source Agencies report that the problem has been proven, disproven, or otherwise resolved by reference to a specific publicly available written work. If multiple problems have the same Solution Time, each is treated as the next problem Solved and the market resolves to 1/N, where N is the number of tied problems. A qualifying solution ceases to count if, before Expiration, it is formally retracted, withdrawn, repudiated, rescinded, or found to contain an identified and unaddressed error.