Feliz terceiro aniversário para mim, tentando escrever provas em Coq com GPT-3.5 Turbo e falhando, e pensando comigo mesmo: "É, isso não vai dar em nada".
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.