‘It is incredible’: How AI is transforming mathematics - Davide Castelvecchi (Nature, 2026)