Comment by aeve890

>An unproved theorem now proved is by definition new math.

No. By _new math_ I mean new mathematical constructs and theories like (to mention the "newest" ones) category theory, information theory, homotopy type theory, etc. Something like Cantor inventing set theory, or Shannon with information theory, or Euler with graph theory.

AFAIK no new field of mathematics as been created _by_ AI. Feel free to correct me.