3 ms·
There's a lot of automated proof checkers out there. Presumably you would just run any solution from an AI through those.
by humansareok1 2y ago
There's a lot of automated proof checkers out there. Presumably you would just run any solution from an AI through those.