Maybe getting a bit philosophical here, but isn't AI just solving math problems using existing methods? It's not making up new types of math (like inventing calculus for example).. or is it?