I just read a powerful article about AI in mathematics, “The Enshittification of Mathematics”, by Fenner Tanswell, from the Mathematical Intelligencer. You can find it here. This is why we need philosophers of mathematics!