← Back to context

Comment by eru

18 hours ago

Well, Alpha Go and Stockfish can beat you at their games. Why shouldn't these models beat us at math proofs?

3 comments

eru

Reply
_fizz_buzz_  16 hours ago

Chess and Go have very restrictive rules. It seems a lot more obvious to me why a computer can beat a human at it. They have a huge advantage just by being able to calculate very deep lines in a very short time. I actually find it impressive for how long humans were able to beat computers at go. Math proofs seem a lot more open ended to me.

thfuran  18 hours ago

Alpha go and stockfish were specifically designed and trained to win at those games.

  • Davidzheng  17 hours ago

    And we can train models specifically at math proofs? I think only difference is that math is bigger....