Artificial intelligence × Mathematics × Robotics ×