"The five that remain are: the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and Yang-Mills existence and mass gap." #math #bigproblems #AIbait
@bruces why shouldn't AI tackle the halting problem? I suggest they get to work on that.