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