AI-assisted judging was used at the World Gymnastics Championships and could help decide medals at the summer Olympics.