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