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
O distrito de Shangcheng, em Hangzhou, lança as primeiras “Dez Medidas Douradas” audiovisuais da AIGC em Zhejiang, com um fundo industrial de 5 bilhões de yuans.
No dia 16, ocorreu a Conferência do Ecossistema de Inovação da Indústria Audiovisual AIGC em Shangcheng District, Hangzhou. Durante o evento, a província anunciou sua primeira política específica para a indústria audiovisual AIGC – “Os Dez Dourados”.
MIIT Solicita Opiniões Públicas sobre 121 Padrões Industriais, Incluindo o Protocolo de Contexto para Modelos de IA
O Ministério da Indústria e Tecnologia da Informação da China lançou oficialmente um comunicado solicitando feedback público sobre 121 projetos de padronização industrial, incluindo o “Requisitos de Segurança Aplicacional para o Protocolo de Contexto
A OpenAI se alia ao Departamento de Defesa dos EUA; as instalações do ChatGPT aumentam em 295%.
Indignação Pública: A Parceria Militar da OpenAI Provoca uma “Onda de Desinstalações”Recentemente, a líder em tecnologia de IA, OpenAI, anunciou uma parceria profunda com o Departamento de Defesa dos EUA, integrando seus modelos de IA em redes milit
Recomendações de tópicos especiais relacionados
chatbot
Crie sua própria história de amor com IA usando estas ferramentas de roleplay
Descubra as melhores ferramentas de roleplay com IA de 2026 para criar narrativas imersivas. A lista selecionada pela XIX.AI apresenta assistentes poderosos e revolucionários, capazes de estimular a narrativa criativa e a profundidade emocional. Compare as opções gratuitas com as pagas por meio de testes práticos. Comece hoje mesmo sua jornada única.
10 ferramentas
xix.ai
Conversão de texto para fala
As melhores ferramentas de voz com IA para desenvolvedores de jogos independentes: economize tempo na dublagem de RPGs e romances visuais
Descubra as melhores ferramentas de voz com IA de 2026 para desenvolvedores de jogos! A lista selecionada pela XIX.AI apresenta soluções de ponta e revolucionárias para economizar seu tempo e dinheiro na dublagem de RPGs e romances visuais. Explore comparações entre opções gratuitas e pagas, testes práticos e rankings atualizados semanalmente. Encontre hoje a ferramenta de voz perfeita para você!
10 ferramentas
xix.ai
Educação e Aprendizagem
Melhores ferramentas de repetição espaçada com IA: otimize seus horários de estudo para estudantes de medicina e direito
Descubra os melhores ferramentas de repetição espaçada em AI de 2026, selecionadas por XIX.AI. Nossas escolhas mais recomendadas e revolucionárias ajudam estudantes de medicina e direito a otimizar seus horários de estudo para uma melhor retenção do conhecimento. Compare opções gratuitas e pagas com testes reais e rankings atualizados semanalmente. Desfrute agora de uma vantagem competitiva no aprendizado.
10 ferramentas
xix.ai
Criação de vídeo
As melhores plataformas de IA para conversão de texto em vídeo para redação de roteiros e narrativa visual
As melhores plataformas de IA para conversão de texto em vídeo de 2026: as ferramentas mais bem avaliadas para redação de roteiros e narrativa visual. Descubra soluções poderosas e revolucionárias para transformar seu texto em vídeos envolventes. Compare opções gratuitas e pagas com nossos rankings atualizados semanalmente e testes práticos. Encontre a plataforma perfeita para impulsionar sua criatividade e produtividade. Explore a seleção especial no XIX.AI.
10 ferramentas
xix.ai
chatbot
Orquestradores de Múltiplos Agentes IA: Projeto de Fluxos de Trabalho Automatizados Complexos através do Linguagem Natural
2026 Mais recente: Descubra os melhores orquestradores multi-agente de IA para projetar fluxos de trabalho automatizados complexos através do uso da linguagem natural. Nossa lista selecionada apresenta plataformas poderosas e altamente avaliadas para uma automação de tarefas sem falhas e um gerenciamento inteligente de processos. Compare opções gratuitas e pagas com informações reais do mundo real. Desfrute de uma vantagem competitiva com as classificações atualizadas semanalmente por especialistas da XIX.AI.
10 ferramentas
xix.ai
Edição de imagem
Melhores softwares de redução de ruído por IA: Remova granulação e artefatos em fotografias noturnas com baixa luz
Descubra os melhores softwares de redução de ruído por IA de 2026 para fotografias noturnas em baixas condições de luz. Nossa lista selecionada e avaliada compara ferramentas gratuitas e pagas, apresentando testes reais e classificações atualizadas semanalmente. Remova facilmente granulação e distorções nas imagens. Desfrute das vantagens da inteligência artificial em XIX.AI.
10 ferramentas
xix.ai
Comentários (0)
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.
O distrito de Shangcheng, em Hangzhou, lança as primeiras “Dez Medidas Douradas” audiovisuais da AIGC em Zhejiang, com um fundo industrial de 5 bilhões de yuans.
No dia 16, ocorreu a Conferência do Ecossistema de Inovação da Indústria Audiovisual AIGC em Shangcheng District, Hangzhou. Durante o evento, a província anunciou sua primeira política específica para a indústria audiovisual AIGC – “Os Dez Dourados”.
MIIT Solicita Opiniões Públicas sobre 121 Padrões Industriais, Incluindo o Protocolo de Contexto para Modelos de IA
O Ministério da Indústria e Tecnologia da Informação da China lançou oficialmente um comunicado solicitando feedback público sobre 121 projetos de padronização industrial, incluindo o “Requisitos de Segurança Aplicacional para o Protocolo de Contexto
A OpenAI se alia ao Departamento de Defesa dos EUA; as instalações do ChatGPT aumentam em 295%.
Indignação Pública: A Parceria Militar da OpenAI Provoca uma “Onda de Desinstalações”Recentemente, a líder em tecnologia de IA, OpenAI, anunciou uma parceria profunda com o Departamento de Defesa dos EUA, integrando seus modelos de IA em redes milit
Descubra as melhores ferramentas de roleplay com IA de 2026 para criar narrativas imersivas. A lista selecionada pela XIX.AI apresenta assistentes poderosos e revolucionários, capazes de estimular a narrativa criativa e a profundidade emocional. Compare as opções gratuitas com as pagas por meio de testes práticos. Comece hoje mesmo sua jornada única.
10 ferramentas
xix.ai
Descubra as melhores ferramentas de voz com IA de 2026 para desenvolvedores de jogos! A lista selecionada pela XIX.AI apresenta soluções de ponta e revolucionárias para economizar seu tempo e dinheiro na dublagem de RPGs e romances visuais. Explore comparações entre opções gratuitas e pagas, testes práticos e rankings atualizados semanalmente. Encontre hoje a ferramenta de voz perfeita para você!
10 ferramentas
xix.ai
Descubra os melhores ferramentas de repetição espaçada em AI de 2026, selecionadas por XIX.AI. Nossas escolhas mais recomendadas e revolucionárias ajudam estudantes de medicina e direito a otimizar seus horários de estudo para uma melhor retenção do conhecimento. Compare opções gratuitas e pagas com testes reais e rankings atualizados semanalmente. Desfrute agora de uma vantagem competitiva no aprendizado.
10 ferramentas
xix.ai
As melhores plataformas de IA para conversão de texto em vídeo de 2026: as ferramentas mais bem avaliadas para redação de roteiros e narrativa visual. Descubra soluções poderosas e revolucionárias para transformar seu texto em vídeos envolventes. Compare opções gratuitas e pagas com nossos rankings atualizados semanalmente e testes práticos. Encontre a plataforma perfeita para impulsionar sua criatividade e produtividade. Explore a seleção especial no XIX.AI.
10 ferramentas
xix.ai
2026 Mais recente: Descubra os melhores orquestradores multi-agente de IA para projetar fluxos de trabalho automatizados complexos através do uso da linguagem natural. Nossa lista selecionada apresenta plataformas poderosas e altamente avaliadas para uma automação de tarefas sem falhas e um gerenciamento inteligente de processos. Compare opções gratuitas e pagas com informações reais do mundo real. Desfrute de uma vantagem competitiva com as classificações atualizadas semanalmente por especialistas da XIX.AI.
10 ferramentas
xix.ai
Descubra os melhores softwares de redução de ruído por IA de 2026 para fotografias noturnas em baixas condições de luz. Nossa lista selecionada e avaliada compara ferramentas gratuitas e pagas, apresentando testes reais e classificações atualizadas semanalmente. Remova facilmente granulação e distorções nas imagens. Desfrute das vantagens da inteligência artificial em XIX.AI.
10 ferramentas
xix.ai
