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.
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.
Lol, are you saying the Erdos problems are a "crumb" that nobody bothered to empty? Are you doing a comedy routine?
Explain to the rest of us how far along those problems were before AI.
1 reply →