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
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
Conformidade com a regulamentação de veículos autônomos na Califórnia: uma nova era de multas, geocercas e 1 milhão de milhas
A Guident opera um veículo de transporte da AuveTech no sul da Flórida, administrando uma rota de quatro milhas em West Palm Beach e uma rota de uma milha em Boca Raton por meio de sua tecnologia de m
Recomendações de tópicos especiais relacionados
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
Composição musical
Melhores Ferramentas de IA para Criação de Melodias para Rascunhos de Músicas
2026 Últimas Melhores Ferramentas de Escrita de Melodias por IA Mais Bem Avaliadas para Rascunhos de Músicas! A XIX.AI reuniu uma coleção altamente poderosa e transformadora, que passou por rigorosos testes no mundo real para oferecer a melhor experiência de escrita. Você pode encontrar comparações detalhadas entre as versões gratuita e paga, classificações precisas e opções imperdíveis projetadas para ajudá-lo a criar rascunhos de músicas impressionantes sem esforço e aumentar significativamente sua produtividade criativa. Explore agora para descobrir a ferramenta perfeita para você!
8 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.
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
Conformidade com a regulamentação de veículos autônomos na Califórnia: uma nova era de multas, geocercas e 1 milhão de milhas
A Guident opera um veículo de transporte da AuveTech no sul da Flórida, administrando uma rota de quatro milhas em West Palm Beach e uma rota de uma milha em Boca Raton por meio de sua tecnologia de m
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
2026 Últimas Melhores Ferramentas de Escrita de Melodias por IA Mais Bem Avaliadas para Rascunhos de Músicas! A XIX.AI reuniu uma coleção altamente poderosa e transformadora, que passou por rigorosos testes no mundo real para oferecer a melhor experiência de escrita. Você pode encontrar comparações detalhadas entre as versões gratuita e paga, classificações precisas e opções imperdíveis projetadas para ajudá-lo a criar rascunhos de músicas impressionantes sem esforço e aumentar significativamente sua produtividade criativa. Explore agora para descobrir a ferramenta perfeita para você!
8 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. 🤔
