Knuth publicou um artigo que destaca um uso de IA muito interessante que os medíocres, infelizmente, chamam de vibemathing. É o oposto de "vibe-" qualquer coisa: O que aconteceu foi que Filip Stappers deu o problema ao Claude com um loop de auto-reflexão muito apertado, palavra por palavra: ** Após CADA execução do exploreXX py, ATUALIZE IMEDIATAMENTE este arquivo [plan md] antes de fazer qualquer outra coisa. ** Sem exceções. Não comece a próxima exploração até que a anterior esteja documentada aqui. E então eles verificaram meticulosamente cada um dos 31 loops. E após o loop final, que parecia bem-sucedido, Knuth escreveu um teorema de prova formal real para verificar completamente os resultados. Isso é matemática real usando ferramentas poderosas que é super legal! Acho que é bastante seguro dizer que a pesquisa de prova formal provará (haha, entendi) ser muito importante na era das máquinas alucinatórias.