The latest AI-math reports point to collaboration, not replacement

Across new benchmarks and workshops, the durable story is a division of labour between discovery systems and mathematical judgment.