N.1 is not true, you're simply not aware of the techniques used for that. You seem to be only aware of a small subset called "supervised learning" which is by no means the whole of artificial intelligence.

AI have already made discoveries in the field of math for example by proving previously unproven theorems etc...

It would be useful to have a little bit of knowledge before pontificating about a subject, any subject.