“Mathematician Terry Tao now co-creates mathematics with AI systems.”