Isto é tão, tão fixe e estou incrivelmente otimista em usar AI para gerar e provar provas para proteger a internet. Parece estranho, mas é a única / melhor maneira que os humanos podem usar AI para nos proteger de uma superinteligência que irá explorar todas as vulnerabilidades desconhecidas escritas por humanos