AI's mathematics blitz pushes science into new territory