Isso é muito, muito legal e estou extremamente otimista em usar IA para gerar e provar provas para proteger a internet. Parece estranho, mas é a única e melhor forma que os humanos podem usar IA para nos proteger de superinteligência que explora toda vulnerabilidade desconhecida escrita por humanos