Davide Castelvecchi. "‘It is incredible’: How AI is transforming mathematics." Nature (2026). https://doi.org/10.1038/d41586-026-01553-1