Pesquisadores da Universidade Estadual da Pensilvânia desenvolveram uma inovadora língua eletrônica que poderia ajudar robôs alimentados por IA a provar…