|
|
|
|
|
|
by pfdietz
2 hours ago
|
|
|
It's another example of Moravec's Paradox. Explaining something to another person uses capabilities that go back millions of years. Mathematics goes back thousands of years. Evolution has made us very good at verbal communication, not so good at proving theorems. So it should have been expected that machines would have an easier time proving results than explaining them. https://en.wikipedia.org/wiki/Moravec%27s_paradox |
|
|