1 comment

[ 4.1 ms ] story [ 9.7 ms ] thread
This is a shockingly low-effort attempt even for a crackpot math paper. They attempt a "reduction" from SAT to 2-SAT, but it's very easy to see that the "reduced" 2-SAT instance does not preserve the satisfiability of the original formula, and in fact, it is always satisfiable as long as the input didn't include its own 2-literal clauses.