A monthly briefing on AI's takeover of mathematics — conjectures falling, proof formalization, benchmark milestones, the governance fight over peer review, and what remains of human mathematical taste.