Lar
Vencedor do Prêmio Turing fica surpreso quando Claude resolve quebra-cabeça matemático de Knuth, que durava décadas, em uma hora
Na ciência da computação, poucas figuras incorporam os ideais de “lógica” e “rigor” tão plenamente quanto o ganhador do Prêmio Turing, Donald Knuth . Este lendário acadêmico, autor da bíblia dos programadores, “The Art of Computer Programming” (A Arte da Programação de Computadores), criador do sistema de composição tipográfica TeX e famoso por evitar o uso de e-mails, recentemente se viu completamente surpreso com a inteligência artificial. Em seu último ensaio, “Claude's Cycles” (Os ciclos de Claude), ele expressa sua admiração pela forma como o Claude Opus 4.6 resolveu um desafio matemático que ele havia estudado por semanas — um desafio cujas raízes remontam a trinta anos — em apenas sessenta minutos.
O problema que cativou Knuth pertence à teoria dos grafos: como dividir todos os arcos em um grafo de grade tridimensional em três ciclos hamiltonianos distintos. Quando o colega de Knuth apresentou essa questão ao Claude , algo notável aconteceu. Em vez de confiar em soluções memorizadas ou pesquisas exaustivas, a IA demonstrou um raciocínio estrutural impressionante.
Começando com uma exploração inicial, passando por quinze tentativas que introduziram “camadas de fibra” para redução de dimensionalidade e alcançando uma percepção inovadora na vigésima primeira tentativa usando “construção serpentina” para identificar padrões, Claude desenvolveu um algoritmo universal para todas as dimensões ímpares em apenas trinta e uma iterações.
O que mais impressionou Knuth foi o processo de raciocínio excepcionalmente claro de Claude . O sistema não apenas produziu um código Python funcional (que Knuth posteriormente converteu para C e verificou), mas também demonstrou como aprendeu com os erros e reformulou o problema. Essa capacidade de “dedução automática e resolução criativa de problemas” comoveu profundamente o pioneiro da ciência da computação, que antes era cético em relação à IA generativa, levando-o a concluir seu artigo com a declaração respeitosa: “Tiro meu chapéu para Claude!”
Curiosamente, essa homenagem contém uma referência romântica oculta: o Claude mencionado por Knuth homenageia não apenas o modelo contemporâneo de IA, mas também Claude Shannon , o fundador da teoria da informação.
Quando um pilar da ciência da computação de 88 anos encontrou a IA de ponta no vasto cenário da matemática, isso representou mais do que apenas a solução para um problema difícil — sinalizou o início de uma nova era na colaboração entre humanos e IA. Como observou Knuth, a IA rompeu a janela mais espessa, e a jornada à frente aguarda nosso testemunho coletivo.
Artigo relacionado
Meta Remove Funcionalidade de Edição de Fotos por IA Após Reação Negativa dos Usuários
A Meta, gigante das redes sociais, está novamente envolvida em um debate público sobre o delicado equilíbrio entre inteligência artificial e privacidade dos usuários. De acordo com a TechCrunch, o Superintelligence Labs da Meta apresentou um novo ger
CEO da DeepMind, Hassabis: Durmo seis horas por dia, geralmente me sinto energético por volta da 1h
O Fortune recentemente publicou uma entrevista com Demis Hassabis, CEO da Google DeepMind, revelando sua abordagem incomum para descanso e produtividade. Hassabis revelou que dorme muito pouco, estruturando suas horas acordadas em dois blocos de trab
OpenAI e Anthropic disputam participação no mercado, apesar da queda na receita
Apesar de relatos recentes sugerirem que a OpenAI não atingiu suas metas de receita, o que gerou pressão sobre as ações do setor de tecnologia nesta terça-feira, os investidores privados em laboratóri
Recomendações de tópicos especiais relacionados
Criação de Animação
Ferramentas de animação de cenas com IA para conteúdo de mídias sociais
As melhores e mais bem avaliadas ferramentas de 2026 para animação de cenas com IA para conteúdo de mídias sociais foram selecionadas aqui pela XIX.AI. Essas ferramentas poderosas e revolucionárias oferecem testes práticos e uma comparação detalhada entre versões gratuitas e pagas, ajudando os criadores a aumentar significativamente sua produtividade. Explore agora para descobrir sua vantagem com a IA.
9 ferramentas
xix.ai
Criação de vídeo
Geradores de ganchos para vídeos curtos com IA para Reels, Shorts e campanhas de lançamento de produtos
Os melhores geradores de ganchos para vídeos curtos com IA de 2026 para Reels, Shorts e campanhas de lançamento de produtos! A XIX.AI seleciona as ferramentas mais bem avaliadas, poderosas e revolucionárias, que oferecem resultados imperdíveis comprovados por testes reais. Esta página, atualizada semanalmente, apresenta rankings comparativos entre opções gratuitas e pagas para ajudar você a encontrar a solução perfeita para impulsionar a criatividade e a produtividade do seu conteúdo. Explore agora para descobrir sua vantagem com IA!
11 ferramentas
xix.ai
escrita
Ferramentas de IA para esboço de artigos em formato longo
2026: As melhores e mais bem avaliadas ferramentas de esboço com IA para redação de textos longos! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que geram esboços precisos e estruturados, comprovados em testes reais, para aumentar significativamente a eficiência na redação. A XIX.AI faz parte dessa seleção de elite. Veja uma comparação entre as versões gratuita e paga para ajudá-lo a escolher a ferramenta perfeita. Explore agora e descubra sua vantagem com a IA!
9 ferramentas
xix.ai
chatbot
Melhores aplicativos de chat de interpretação de papéis com IA para prática de idiomas, preparação para entrevistas e fluência diária
2026 Últimas Melhores Aplicativos de Chat de Interpretação de Papéis por IA Mais Bem Avaliados para Prática de Idiomas, Preparação para Entrevistas e Fluência Diária! O XIX.AI seleciona uma poderosa coleção revolucionária que oferece comparação entre gratuito e pago, testes do mundo real e classificações atualizadas semanalmente. Essas ferramentas imperdíveis ajudam você a aprimorar suas habilidades de escrita, superar desafios de fluência e melhorar a eficiência da comunicação em todos os cenários diários. Explore agora para descobrir sua ferramenta perfeita para o crescimento do idioma!
10 ferramentas
xix.ai
Composição musical
Ferramentas de separação de stems com IA para produção de remixes, preparação de samples e masters de karaokê
As melhores e mais bem avaliadas ferramentas de separação de faixas com IA de 2026, selecionadas especialmente para produção de remixes, preparação de samples e masters de karaokê. Essas ferramentas poderosas e revolucionárias passaram por testes práticos para oferecer isolamento de áudio preciso, aumentando significativamente a produtividade. A XIX.AI oferece um guia comparativo entre versões gratuitas e pagas, atualizado semanalmente, para ajudá-lo a encontrar a solução imperdível que melhor atenda às suas necessidades. Explore agora para aproveitar ao máximo as vantagens da IA.
8 ferramentas
xix.ai
Análise de dados
Copilotos de IA para SQL voltados para painéis de receita, análise de funis e métricas de produtos
2026: Os melhores copilotos AI para SQL, atualizados e classificados entre os melhores! A XIX.AI reúne uma coleção poderosa e revolucionária, com testes em ambiente real atualizados semanalmente. Essas ferramentas indispensáveis ajudam a gerar painéis de controle de receita precisos, analisar funis de vendas e rastrear métricas de produtos de forma rápida, aumentando significativamente a produtividade. Explore agora e encontre a ferramenta perfeita para tomada de decisões baseadas em dados! 238 caracteres
9 ferramentas
xix.ai
Comentários (1)
![CharlesNelson]()
Honestly, this is both impressive and a little unsettling. I mean, Knuth is a legend, and his puzzles are notoriously hard. For an AI to crack it in an hour? That's either a breakthrough or a sign we need to rethink our understanding of intelligence. 🤔
Na ciência da computação, poucas figuras incorporam os ideais de “lógica” e “rigor” tão plenamente quanto
O problema que cativou Knuth pertence à teoria dos grafos: como dividir todos os arcos em um grafo de grade tridimensional em três ciclos hamiltonianos distintos. Quando o colega de Knuth apresentou essa questão ao
Começando com uma exploração inicial, passando por quinze tentativas que introduziram “camadas de fibra” para redução de dimensionalidade e alcançando uma percepção inovadora na vigésima primeira tentativa usando “construção serpentina” para identificar padrões,
O que mais impressionou
Curiosamente, essa homenagem contém uma referência romântica oculta: o
Quando um pilar da ciência da computação de 88 anos encontrou a IA de ponta no vasto cenário da matemática, isso representou mais do que apenas a solução para um problema difícil — sinalizou o início de uma nova era na colaboração entre humanos e IA. Como observou Knuth, a IA rompeu a janela mais espessa, e a jornada à frente aguarda nosso testemunho coletivo.
Meta Remove Funcionalidade de Edição de Fotos por IA Após Reação Negativa dos Usuários
A Meta, gigante das redes sociais, está novamente envolvida em um debate público sobre o delicado equilíbrio entre inteligência artificial e privacidade dos usuários. De acordo com a TechCrunch, o Superintelligence Labs da Meta apresentou um novo ger
CEO da DeepMind, Hassabis: Durmo seis horas por dia, geralmente me sinto energético por volta da 1h
O Fortune recentemente publicou uma entrevista com Demis Hassabis, CEO da Google DeepMind, revelando sua abordagem incomum para descanso e produtividade. Hassabis revelou que dorme muito pouco, estruturando suas horas acordadas em dois blocos de trab
OpenAI e Anthropic disputam participação no mercado, apesar da queda na receita
Apesar de relatos recentes sugerirem que a OpenAI não atingiu suas metas de receita, o que gerou pressão sobre as ações do setor de tecnologia nesta terça-feira, os investidores privados em laboratóri
As melhores e mais bem avaliadas ferramentas de 2026 para animação de cenas com IA para conteúdo de mídias sociais foram selecionadas aqui pela XIX.AI. Essas ferramentas poderosas e revolucionárias oferecem testes práticos e uma comparação detalhada entre versões gratuitas e pagas, ajudando os criadores a aumentar significativamente sua produtividade. Explore agora para descobrir sua vantagem com a IA.
9 ferramentas
xix.ai
Os melhores geradores de ganchos para vídeos curtos com IA de 2026 para Reels, Shorts e campanhas de lançamento de produtos! A XIX.AI seleciona as ferramentas mais bem avaliadas, poderosas e revolucionárias, que oferecem resultados imperdíveis comprovados por testes reais. Esta página, atualizada semanalmente, apresenta rankings comparativos entre opções gratuitas e pagas para ajudar você a encontrar a solução perfeita para impulsionar a criatividade e a produtividade do seu conteúdo. Explore agora para descobrir sua vantagem com IA!
11 ferramentas
xix.ai
2026: As melhores e mais bem avaliadas ferramentas de esboço com IA para redação de textos longos! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que geram esboços precisos e estruturados, comprovados em testes reais, para aumentar significativamente a eficiência na redação. A XIX.AI faz parte dessa seleção de elite. Veja uma comparação entre as versões gratuita e paga para ajudá-lo a escolher a ferramenta perfeita. Explore agora e descubra sua vantagem com a IA!
9 ferramentas
xix.ai
2026 Últimas Melhores Aplicativos de Chat de Interpretação de Papéis por IA Mais Bem Avaliados para Prática de Idiomas, Preparação para Entrevistas e Fluência Diária! O XIX.AI seleciona uma poderosa coleção revolucionária que oferece comparação entre gratuito e pago, testes do mundo real e classificações atualizadas semanalmente. Essas ferramentas imperdíveis ajudam você a aprimorar suas habilidades de escrita, superar desafios de fluência e melhorar a eficiência da comunicação em todos os cenários diários. Explore agora para descobrir sua ferramenta perfeita para o crescimento do idioma!
10 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de separação de faixas com IA de 2026, selecionadas especialmente para produção de remixes, preparação de samples e masters de karaokê. Essas ferramentas poderosas e revolucionárias passaram por testes práticos para oferecer isolamento de áudio preciso, aumentando significativamente a produtividade. A XIX.AI oferece um guia comparativo entre versões gratuitas e pagas, atualizado semanalmente, para ajudá-lo a encontrar a solução imperdível que melhor atenda às suas necessidades. Explore agora para aproveitar ao máximo as vantagens da IA.
8 ferramentas
xix.ai
2026: Os melhores copilotos AI para SQL, atualizados e classificados entre os melhores! A XIX.AI reúne uma coleção poderosa e revolucionária, com testes em ambiente real atualizados semanalmente. Essas ferramentas indispensáveis ajudam a gerar painéis de controle de receita precisos, analisar funis de vendas e rastrear métricas de produtos de forma rápida, aumentando significativamente a produtividade. Explore agora e encontre a ferramenta perfeita para tomada de decisões baseadas em dados! 238 caracteres
9 ferramentas
xix.ai
Honestly, this is both impressive and a little unsettling. I mean, Knuth is a legend, and his puzzles are notoriously hard. For an AI to crack it in an hour? That's either a breakthrough or a sign we need to rethink our understanding of intelligence. 🤔
