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.
Yeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get involved.
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.