Not going to replace human mathematicians, the only reason this worked was there was a large body of research generated by human mathematicians the AI could bullshit off of. You stop funding the humans, no magic AI.