Slacker News Slacker News logo featuring a lazy sloth with a folded newspaper hat
  • top
  • new
  • show
  • ask
  • jobs
Library
← Back to context

Comment by chrisjj

1 day ago

> We can build something which has all the output associated with reasoning.

Sure. A photocopier fed with a maths paper.

3 comments

chrisjj

Reply

anon48293  21 hours ago

I’m willing to bet it still proved more novel mathematical theorems than you did.

What does this say about your reasoning?

  • slopinthebag  16 hours ago

    Excavator can dig a ditch better than I can, thus it must be more capable than me in every physical dimension.

Slacker News

Product

  • API Reference
  • Hacker News RSS
  • Source on GitHub

Community

  • Support Ukraine
  • Equal Justice Initiative
  • GiveWell Charities