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