10 ms·
It’s a bit of an ominous quote given that Hilbert’s program was dismantled shortly thereafter by Gödel…
by bayesnet 28d ago
It’s a bit of an ominous quote given that Hilbert’s program was dismantled shortly thereafter by Gödel…
- pfdietz 28d agoI'm reminded of the joke about the two friends who come across a bear in the woods. When one puts on running shoes, his friend chides him that he can't outrun the bear. He responds, "I don't need to outrun the bear, I just need to outrun you." AI doesn't have to implement Hilbert's vision and be able to prove everything. I just has to out-prove human mathematicians.