GPS português no espaço. Empresa de Coimbra usa IA para proteger satélites do lixo espacial