A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot. But Heule, a computer scientist at Carnegie Mellon University, has set his sights on an ...

You can probably distill high school down into a few singularly agonizing days, but none shook you to the core quite like that one Saturday morning in junior year when you took the SATs. If you’re ...