In 1945, as the first atomic bomb exploded in the New Mexico desert, Enrico Fermi stood miles away, holding a few scraps of paper. As the shockwave rolled toward him, he dropped the papers and watched ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...