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