Scientific American

Researchers Race to Rescue the Enormous Theorem before Its Giant Proof Vanishes

Before they die, aging mathematicians are racing to save the Enormous Theorem's proof, all 15,000 pages of it, which divides existence four ways A seemingly endless variety of food was sprawled over ...
Popular Mechanics

Machines Are on the Verge of Tackling Fermat’s Last Theorem—a Proof That Once Defied Them

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...
NPR

An old tadpole, new Pythagorean Theorem proof and how fruit may have affected evolution

NPR's Ailsa Chang talks with Regina Barber and Emily Kwong of Short Wave about the oldest known tadpole, new proofs of the Pythagorean Theorem, and the evolutionary roots of alcohol consumption. All ...