4 ms·
The math might not be too complex but it still seems arcane magic to me. But the premise that a computer simulation solved the problem with a given reason that
by faeyanpiraat 6y ago
The math might not be too complex but it still seems arcane magic to me.
But the premise that a computer simulation solved the problem with a given reason that is too complicated to understood by humans, and require a separate computer program to verify is both fascinating and scary at the same time.
- chmod775 6y ago>solved the problem with a given reason Edit: I just removed my comment because I failed at parsing this expression, and ended up replying to something you did not actually say.
- ironSkillet 6y agoVery interesting result indeed. The key was that the researchers developed an algorithm to automatically improve the efficiency of their SAT search - the 200 GB "proof" was just the logic equating their efficient SAT search with the original SAT problem - the output of their algorithm. The real magic was in devising this algorithm.
- CJefferson 6y agoOnce you have a finite problem (which usually requires human human), computers can just chew through cases. There are Sudoku which (appear to be) beyond human ability to solve, but which computers will prove solvable within milliseconds, just by chewing through the options.