> working on AI
I think we're about to enter an incredible new age of mathematics, driven by AI and theorem provers. It's going to be hugely disruptive to mathematics, but lots of fun to amateur mathematicians.
I think we're about to enter an incredible new age of mathematics, driven by AI and theorem provers. It's going to be hugely disruptive to mathematics, but lots of fun to amateur mathematicians.
Maybe this can aid in your learning.