A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot. The post Computer Scientists Attempt to Corner the Collatz Conjecture first appeared on Quanta Magazine