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.