3 ms·
Ok but if you read the actual solutions they aren't a bizarre mess of brute force. They look like what a human would write if they were trying to come up with
by sebzim4500 2y ago
Ok but if you read the actual solutions they aren't a bizarre mess of brute force.
They look like what a human would write if they were trying to come up with a formal proof (albeit it does some steps in a weird order).
- lupire 2y agoThe solutions aren't a bizarre mess of brute force. The search for the solutions is.
- knotthebest 2y agoThey are, though. I spoke to an author just yesterday. They did mostly use brute-force.