Comment by thfuran 19 hours ago Alpha go and stockfish were specifically designed and trained to win at those games. 1 comment thfuran Reply Davidzheng 19 hours ago And we can train models specifically at math proofs? I think only difference is that math is bigger....
Davidzheng 19 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....