[eru]

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

[_fizz_buzz_]

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]

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

[Davidzheng]

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