What next for the world of maths after a major intrusion by AI?