How Three Chess Friends Battled Demons and Saved Two Lives

For the three men — Frank Ames, Paul Trahan and Lincoln Cyrus — that day last September began an unlikely chain of events ...
Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...