Math contains a lot of stuff

AI is getting good at math lately. Maybe we we will soon see AI that is much better than humans on all math tasks ("Math ASI"). What could this mean?There are at least three maths:Math A (Ancestral) is when you study natural mathematical objects. To be considered natural, there has to be motivation from the real world, other math, or intuition. A big part of this is proving theorems.Math B (Benchmarky) is when you resolve conjectures from Math A. This is often used for benchmarking academics, an...