AI’s mathematics blitz pushes science into strange new territory