The latest news about AI in mathematics: headlines, AI summaries and the full story from every source.