Will the Birch and Swinnerton-Dyer Conjecture be the next Millennium Prize Problem solved by AI?
Who's in this market?