I like the optimism but it might be a case that actually there is nothing left for humans to figure out in math 2.0. I wanna be wrong and mathematicians will figure how to regain the control. Software developers lost it and turned into meat proxies.