Scientific American

New protein-folding AI predicts the structures of 1 billion proteins

The new open-source atlas, generated by an AI tool called ESMFold2, vastly increases the known protein universe ...
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 ...