Davide Castelvecchi. "AI cracks 80-year-old mathematics challenge — researchers are astonished." Nature, 2026. doi:10.1038/d41586-026-01651-0