AI cracks 80-year-old mathematics challenge — researchers are astonished - Davide Castelvecchi (Nature, 2026)