verificação formal

A matemática ‘chata’ que pode revolucionar a segurança de softwares gerados por inteligência artificial

Uma pesquisadora da Universidade Stanford desenvolveu uma ferramenta de inteligência artificial capaz de concluir um projeto de engenharia em menos de meio dia...