Doesn't that say more about the massive crumb tray nobody ever bothered to empty at the bottom of mathematics?
replyI'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.
Lol, are you saying the Erdos problems are a "crumb" that nobody bothered to empty? Are you doing a comedy routine?
replyExplain to the rest of us how far along those problems were before AI.
replyAre they crumbs? Why aren’t you answering?
reply