I don't think I'm the one adding noise here. You've done nothing but put words in my mouth, attack me personally, and use argument from authority instead of responding to the substance of the debate.
The infinitude of mathematics doesn’t matter. What matters if mathematics doesn’t change radically is the size of the database of AI results relative to the potential output of a human lifetime.
You don’t actually understand what argument from authority is. There’s an actual reason the “authority” here is being appealed to which is not just their authority. You don’t respect people who know more than you, but you should still read Terence Tao’s mathstodon posts on stripmining mathematics.
I get pissed off reading the ‘weird takes’ on mathematics from people who come from the tech world and don’t know what they’re talking about (but for some reason think they do). Not only is it just painful to read; it’s actively harmful.
Mathematicians are largely ignorant of software and are aware of and will freely admit to their own ignorance, but for some reason the software engineers here are largely ignorant of mathematics AND think they know it inside out.
It sounds like you’re actually more well informed than most. Don’t take my comments personally, in any case.