← Back to context Comment by thfuran 18 hours ago Alpha go and stockfish were specifically designed and trained to win at those games. 1 comment thfuran Reply Davidzheng 17 hours ago And we can train models specifically at math proofs? I think only difference is that math is bigger....
Davidzheng 17 hours ago And we can train models specifically at math proofs? I think only difference is that math is bigger....
And we can train models specifically at math proofs? I think only difference is that math is bigger....