2 ms·

Ask yourself what mathematicians do today... They decompose problems, solve specialized subsets, examine more general cases, use existing proofs, do some numer

• auntienomen 3y ago
  Yeah, but none of that gets you a solution to a Millennium problem. One needs an AI to do something like what Peter Scholze did in inventing perfectoid spaces or Perelman in introducing his entropy function. You can treat axiom invention as a game, I suppose, but the space of possible moves is uhh rather large.