Mitchel Porter already brought up an explicit example.
Furthermore, you are expanding the hype beyond what even Wolfram is claiming, with your added layer of abstraction to a black box that can automatically unify any mathematical research we shove in the box
First, it is incredibly difficult...