What about the mathematical advancements?

Doesn't that say more about the massive crumb tray nobody ever bothered to empty at the bottom of mathematics?

I'm sure someone will point out something like the 4-color theorem as a counterargument. Where is that kind of theorem proving in this generation of AI? We seem to have hit a dead end rather quickly.