logoalt Hacker News

erutoday at 7:08 AM2 repliesview on HN

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


Replies

_fizz_buzz_today at 9:10 AM

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.

thfurantoday at 8:05 AM

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

show 1 reply