> We can build something which has all the output associated with reasoning.
Sure. A photocopier fed with a maths paper.
I’m willing to bet it still proved more novel mathematical theorems than you did.
What does this say about your reasoning?
alt Hacker News
I’m willing to bet it still proved more novel mathematical theorems than you did.
What does this say about your reasoning?