Open Internet by MindsNet

Why are we trying to automate mathematics using AI?