days

An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years

ZME Science September 8, 2026 0Comment

Claude did not rediscover the proof. It made the existing one machine-checkable.

Cannibalism returned to the menu multiple times in Neolithic Europe

'Star Trek' imagined strange new worlds 60 years ago, but are real exoplanets even stranger?

An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years

Biology Core Science

Scientists Keep Finding the Same Mysterious Beat Across the Animal Kingdom, From Fireflies to Sea Lions