Someone on Scott Aaronson's blog suggested math will become an empirical field now, where they run "experiments" by asking AI for lean proofs.

Scott, is this a turning point where mathematics gets off its well trodden path of logic and becomes more like an empirical science? Heck, people were arguing if math is invented or discovered, this settles it. Math is discovered – by AI! From now on forth, Mathematicians will become scientists, wielding AI as a telescope, pointed towards new and disturbing alien worlds in the Platonic realm.

So yeah, it seems like this idiotic view is pretty popular among boosters.