3 ms·
The thing is if something is proved by checking million different cases automatically, it makes it hard to factor in learning for other proofs.
by YetAnotherNick 6mo ago
The thing is if something is proved by checking million different cases automatically, it makes it hard to factor in learning for other proofs.