Knuth lançou um artigo que destaca um uso muito legal da IA que, infelizmente, os idiotas chamam de vibemathing. É o oposto de qualquer coisa com "vibe-": O que aconteceu foi que Filip Stappers deu o problema para Claude com um ciclo muito apertado de autorreflexão, palavra por palavra: ** Após CADA run exploreXX de py (exploreXX), 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 está documentada aqui. E então eles verificaram meticulosamente cada um dos 31 loops. E após o ciclo final, que pareceu bem-sucedido, Knuth escreveu um teorema formal de prova real para verificar completamente os resultados. Isso é matemática real usando ferramentas elétricas, isso é muito legal! Acho bem seguro dizer que a pesquisa formal de provas vai provar (haha, entendi) ser muito importante na era das máquinas alucinantes.