BBC Inside Science BBC News - Science 8 October 2026 at 21:00 What next for the world of maths after a major intrusion by AI?