3 ms·
It's literally just brute forcing lol
by johnnienaked 2mo ago
It's literally just brute forcing lol
- mkl 2mo agoDefinitely not. Brute forcing this would be exhaustively searching the space of possible proofs until succeeding. This is heuristically remixing and extending existing work.