Lar
A Anthropic lança o Claude Mythos para resolver a Conjectura de Erdős com uma prova concisa
Em 26 de maio, Sholto Douglas, engenheiro da Anthropic, publicou no X que seu modelo mais recente, Claude Mythos, havia resolvido um enigma centenário da geometria combinatória: a conjectura das distâncias unitárias de Erdős. Descrita como uma "prova inteligente e concisa", essa conquista surgiu pouco depois de a OpenAI afirmar que o GPT-5.5 havia resolvido o mesmo marco, destacando a crescente corrida entre os principais laboratórios de IA na descoberta matemática pura.
Esta conquista destacou uma abordagem de agentes colaborativos, distinta dos métodos tradicionais de modelo único. Relatórios indicam que a equipe implementou um framework de testes automatizados com múltiplas instâncias independentes do Claude Code. Nesse sistema, agentes com acesso ao Mythos recebiam problemas e geravam diversos caminhos de solução, que eram então agregados e distribuídos a outras instâncias independentes para validação cruzada.
Embora o matemático Daniel Litt tenha observado que a saída inicial do Mythos era "ligeiramente inferior" à da OpenAI, o modelo acabou por traçar o mesmo caminho de solução, derivando independentemente uma prova mais original e simplificada. A Anthropic lançou oficialmente uma versão da prova compilada pelo Opus4.7.
Este desenvolvimento reacendeu debates na indústria sobre a trajetória dos "grandes modelos de linguagem (LLMs) puros" versus "sistemas de assistência ao raciocínio simbólico". Anteriormente, o Google DeepMind anunciou que havia resolvido nove problemas de Erdős usando seu sistema AlphaProof Nexus. No entanto, sua forte dependência da linguagem formal de prova Lean gerou controvérsias sobre o valor do raciocínio autônomo em IAs puramente generativas.
Em contraste, o Claude Code, operando como um framework de agentes, agora aborda os desafios científicos mais prementes da humanidade por meio da colaboração multiagente. O setor de IA está passando por rápidas mudanças de paradigma, com um vencedor da Medalha Fields confirmando recentemente que o ChatGPT5.5Pro pode concluir autonomamente uma pesquisa matemática de nível doutoral em apenas duas horas. À medida que modelos como Claude Mythos e GPT-5.5 demonstram evolução autônoma em domínios de ponta, como descoberta de algoritmos e exploração de vulnerabilidades de sistemas, a IA está transicionando da era inicial da "engenharia de prompts" para uma definida por agentes autônomos com capacidades profundas de raciocínio lógico e exploração científica.
Artigo relacionado
Soy MiniMax3 Monitores de Som: Grande Potência em um Pacote Pequeno
A Sonic lançou o Monitor MiniMax3, um novo par de caixas acústicas de estúdio profissional projetadas para monitoramento próximo em desktop e configurações pessoais de áudio/vídeo. Prezado em 2099 yuan, esses alto-falantes compactos, porém potentes,
A Amazon adquirirá a Decart por US$ 7 bilhões, garantindo um adaptador-chave de chips de IA
De acordo com o Wall Street Journal, a Amazon está negociando a compra da startup de inteligência artificial Decart por uma avaliação estimada de US$ 7 bilhões. Se não surgirem lances concorrentes, a transação pode ser concluída em breve, destacando
Como o Locus enfrenta um dos maiores desafios da robótica: a manipulação
O NeuraGrasp manuseia diversos itens, incluindo pequenos recipientes, sacos plásticos porosos e tecidos. | Fonte: Locus RoboticsA Locus Robotics Corp. superou inúmeros desafios robóticos em ambientes
Recomendações de tópicos especiais relacionados
Design e Arte
As melhores ferramentas de ilustração com IA: crie cenas editoriais e capas de forma mais rápida
As melhores ferramentas de ilustração com IA de 2026: nossa lista selecionada apresenta as melhores ferramentas, com design robusto, para criar rapidamente cenas editoriais impressionantes e capas atraentes. Cada opção passou por rigorosos testes práticos, oferecendo uma comparação entre versões gratuitas e pagas para ajudar você a encontrar a opção perfeita para o seu fluxo de trabalho. Experimente hoje mesmo essas soluções imperdíveis para aproveitar ao máximo as vantagens da IA e impulsionar sua produtividade criativa. Explore agora no XIX.AI.
10 ferramentas
xix.ai
Educação e Aprendizagem
Os melhores professores particulares especializados em IA para preparação para exames: pratique matemática, ciências e inglês
Os melhores tutores de IA para preparação para exames de 2026, com as melhores avaliações, estão aqui no XIX.AI! Nossa lista cuidadosamente selecionada apresenta ferramentas poderosas e revolucionárias que oferecem comparação entre versões gratuitas e pagas, testes práticos e rankings atualizados semanalmente. Elas ajudam a aumentar sua eficiência na redação, simplificar o aprendizado de tópicos complexos e liberar seu potencial acadêmico. Explore agora para descobrir sua ferramenta perfeita de preparação para exames e comece a criar hoje mesmo para aproveitar toda a vantagem da IA!
10 ferramentas
xix.ai
Financiar
Ferramentas de planejamento orçamentário com IA para gestão financeira pessoal
As melhores e mais bem avaliadas ferramentas de planejamento orçamentário com IA para gestão financeira pessoal de 2026 estão aqui no XIX.AI! Esta seleção especial apresenta soluções poderosas e revolucionárias que ajudam você a realizar testes na prática, entender hábitos de consumo e criar planos personalizados para aumentar a produtividade. Confira uma comparação entre versões gratuitas e pagas, além de rankings detalhados. Ferramentas imperdíveis, projetadas para simplificar a gestão financeira e explorar o potencial da IA. Explore agora!
11 ferramentas
xix.ai
Saúde e Bem-Estar
Assistentes de rastreamento do sono com IA: melhore sua recuperação adotando hábitos mais adequados antes de dormir
2026 – Os melhores assistentes de rastreamento do sono com inteligência artificial mais bem avaliados, selecionados para proporcionar uma recuperação máxima. Este guia semanal completamente atualizado apresenta ferramentas poderosas que incluem testes reais, comparações entre versões gratuitas e pagas, além de classificações detalhadas, visando ajudá-lo a encontrar a solução ideal para melhorar a qualidade do sono e fomentar hábitos noturnos mais saudáveis. Explore agora em XIX.AI e aproveite todas as vantagens oferecidas pela inteligência artificial.
10 ferramentas
xix.ai
Análise de dados
Copilotos de IA em SQL para análise de produtos e receitas
2026: Os melhores e mais bem avaliados copilotos de IA para SQL em análise de produtos e receitas! A XIX.AI selecionou um conjunto poderoso e revolucionário de ferramentas imperdíveis, que passam por testes práticos por meio de rankings atualizados semanalmente. Essas ferramentas ajudam os usuários a aumentar significativamente a produtividade, acelerando a análise de dados, simplificando consultas complexas e gerando insights precisos para impulsionar decisões de negócios mais inteligentes. Explore agora e descubra a ferramenta perfeita para aproveitar ao máximo o potencial da IA!
14 ferramentas
xix.ai
Educação e Aprendizagem
Os melhores auxiliares de tarefas escolares com IA que ensinam: aprenda conceitos, não apenas respostas
2026: Os melhores e mais bem avaliados auxiliares de tarefas com IA que ensinam conceitos fundamentais, não apenas respostas. Ferramentas poderosas para estudantes. Lista selecionada que você não pode deixar de conferir. Atualizada semanalmente. Comparação entre versões gratuitas e pagas. Testes em situações reais. Rankings precisos para ajudar você a atingir todo o seu potencial de aprendizado. Explore agora e descubra a ferramenta perfeita para estudar de forma mais inteligente.
10 ferramentas
xix.ai
Comentários (0)
Em 26 de maio, Sholto Douglas, engenheiro da Anthropic, publicou no X que seu modelo mais recente, Claude Mythos, havia resolvido um enigma centenário da geometria combinatória: a conjectura das distâncias unitárias de Erdős. Descrita como uma "prova inteligente e concisa", essa conquista surgiu pouco depois de a OpenAI afirmar que o GPT-5.5 havia resolvido o mesmo marco, destacando a crescente corrida entre os principais laboratórios de IA na descoberta matemática pura.
Esta conquista destacou uma abordagem de agentes colaborativos, distinta dos métodos tradicionais de modelo único. Relatórios indicam que a equipe implementou um framework de testes automatizados com múltiplas instâncias independentes do Claude Code. Nesse sistema, agentes com acesso ao Mythos recebiam problemas e geravam diversos caminhos de solução, que eram então agregados e distribuídos a outras instâncias independentes para validação cruzada.
Embora o matemático Daniel Litt tenha observado que a saída inicial do Mythos era "ligeiramente inferior" à da OpenAI, o modelo acabou por traçar o mesmo caminho de solução, derivando independentemente uma prova mais original e simplificada. A Anthropic lançou oficialmente uma versão da prova compilada pelo Opus4.7.
Este desenvolvimento reacendeu debates na indústria sobre a trajetória dos "grandes modelos de linguagem (LLMs) puros" versus "sistemas de assistência ao raciocínio simbólico". Anteriormente, o Google DeepMind anunciou que havia resolvido nove problemas de Erdős usando seu sistema AlphaProof Nexus. No entanto, sua forte dependência da linguagem formal de prova Lean gerou controvérsias sobre o valor do raciocínio autônomo em IAs puramente generativas.
Em contraste, o Claude Code, operando como um framework de agentes, agora aborda os desafios científicos mais prementes da humanidade por meio da colaboração multiagente. O setor de IA está passando por rápidas mudanças de paradigma, com um vencedor da Medalha Fields confirmando recentemente que o ChatGPT5.5Pro pode concluir autonomamente uma pesquisa matemática de nível doutoral em apenas duas horas. À medida que modelos como Claude Mythos e GPT-5.5 demonstram evolução autônoma em domínios de ponta, como descoberta de algoritmos e exploração de vulnerabilidades de sistemas, a IA está transicionando da era inicial da "engenharia de prompts" para uma definida por agentes autônomos com capacidades profundas de raciocínio lógico e exploração científica.
Soy MiniMax3 Monitores de Som: Grande Potência em um Pacote Pequeno
A Sonic lançou o Monitor MiniMax3, um novo par de caixas acústicas de estúdio profissional projetadas para monitoramento próximo em desktop e configurações pessoais de áudio/vídeo. Prezado em 2099 yuan, esses alto-falantes compactos, porém potentes,
A Amazon adquirirá a Decart por US$ 7 bilhões, garantindo um adaptador-chave de chips de IA
De acordo com o Wall Street Journal, a Amazon está negociando a compra da startup de inteligência artificial Decart por uma avaliação estimada de US$ 7 bilhões. Se não surgirem lances concorrentes, a transação pode ser concluída em breve, destacando
Como o Locus enfrenta um dos maiores desafios da robótica: a manipulação
O NeuraGrasp manuseia diversos itens, incluindo pequenos recipientes, sacos plásticos porosos e tecidos. | Fonte: Locus RoboticsA Locus Robotics Corp. superou inúmeros desafios robóticos em ambientes
As melhores ferramentas de ilustração com IA de 2026: nossa lista selecionada apresenta as melhores ferramentas, com design robusto, para criar rapidamente cenas editoriais impressionantes e capas atraentes. Cada opção passou por rigorosos testes práticos, oferecendo uma comparação entre versões gratuitas e pagas para ajudar você a encontrar a opção perfeita para o seu fluxo de trabalho. Experimente hoje mesmo essas soluções imperdíveis para aproveitar ao máximo as vantagens da IA e impulsionar sua produtividade criativa. Explore agora no XIX.AI.
10 ferramentas
xix.ai
Os melhores tutores de IA para preparação para exames de 2026, com as melhores avaliações, estão aqui no XIX.AI! Nossa lista cuidadosamente selecionada apresenta ferramentas poderosas e revolucionárias que oferecem comparação entre versões gratuitas e pagas, testes práticos e rankings atualizados semanalmente. Elas ajudam a aumentar sua eficiência na redação, simplificar o aprendizado de tópicos complexos e liberar seu potencial acadêmico. Explore agora para descobrir sua ferramenta perfeita de preparação para exames e comece a criar hoje mesmo para aproveitar toda a vantagem da IA!
10 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de planejamento orçamentário com IA para gestão financeira pessoal de 2026 estão aqui no XIX.AI! Esta seleção especial apresenta soluções poderosas e revolucionárias que ajudam você a realizar testes na prática, entender hábitos de consumo e criar planos personalizados para aumentar a produtividade. Confira uma comparação entre versões gratuitas e pagas, além de rankings detalhados. Ferramentas imperdíveis, projetadas para simplificar a gestão financeira e explorar o potencial da IA. Explore agora!
11 ferramentas
xix.ai
2026 – Os melhores assistentes de rastreamento do sono com inteligência artificial mais bem avaliados, selecionados para proporcionar uma recuperação máxima. Este guia semanal completamente atualizado apresenta ferramentas poderosas que incluem testes reais, comparações entre versões gratuitas e pagas, além de classificações detalhadas, visando ajudá-lo a encontrar a solução ideal para melhorar a qualidade do sono e fomentar hábitos noturnos mais saudáveis. Explore agora em XIX.AI e aproveite todas as vantagens oferecidas pela inteligência artificial.
10 ferramentas
xix.ai
2026: Os melhores e mais bem avaliados copilotos de IA para SQL em análise de produtos e receitas! A XIX.AI selecionou um conjunto poderoso e revolucionário de ferramentas imperdíveis, que passam por testes práticos por meio de rankings atualizados semanalmente. Essas ferramentas ajudam os usuários a aumentar significativamente a produtividade, acelerando a análise de dados, simplificando consultas complexas e gerando insights precisos para impulsionar decisões de negócios mais inteligentes. Explore agora e descubra a ferramenta perfeita para aproveitar ao máximo o potencial da IA!
14 ferramentas
xix.ai
2026: Os melhores e mais bem avaliados auxiliares de tarefas com IA que ensinam conceitos fundamentais, não apenas respostas. Ferramentas poderosas para estudantes. Lista selecionada que você não pode deixar de conferir. Atualizada semanalmente. Comparação entre versões gratuitas e pagas. Testes em situações reais. Rankings precisos para ajudar você a atingir todo o seu potencial de aprendizado. Explore agora e descubra a ferramenta perfeita para estudar de forma mais inteligente.
10 ferramentas
xix.ai
