Lar
A OpenAI afirma ter alcançado um avanço significativo na resolução de um enigma matemático que já durava décadas
A OpenAI afirma que seu mais recente modelo de raciocínio gerou uma prova matemática original que refuta uma famosa conjectura não resolvida da geometria, proposta pela primeira vez por Paul Erdős em 1946.
Se isso soa familiar, é porque a OpenAI já fez afirmações ousadas semelhantes antes. Há sete meses, o ex-vice-presidente da empresa, Kevin Weil, postou no X: “O GPT-5 encontrou soluções para 10 (!) problemas de Erdős anteriormente não resolvidos e fez progressos em outros 11.”
No fim das contas, o GPT-5 não resolveu esses problemas; ele apenas redescobriu soluções que já estavam documentadas na literatura existente.
O anúncio atraiu críticas de rivais como Yann LeCun e o CEO do Google DeepMind, Demis Hassabis, levando Weil a excluir rapidamente sua postagem prematura. Desta vez, no entanto, a OpenAI parece ter evitado repetir esse erro. Juntamente com sua nova afirmação, a empresa publicou declarações de apoio de matemáticos, incluindo Noga Alon, Melanie Wood e Thomas Bloom — que mantém o site Erdos Problems e havia descrito anteriormente a postagem de Weil como “uma deturpação dramática”.
“Por quase 80 anos, os matemáticos acreditavam que as melhores soluções possíveis se assemelhavam a algo como grades quadradas”, afirmou a OpenAI no X. “Um modelo da OpenAI refutou essa crença ao descobrir uma família completamente nova de construções que apresentam melhor desempenho.”
A empresa descreveu isso como “a primeira vez que a IA resolveu de forma autônoma um problema aberto proeminente que é central para um campo da matemática”. De acordo com a OpenAI, a prova se originou de um novo modelo de raciocínio de uso geral, não de um sistema construído especificamente para resolver problemas matemáticos — ou mesmo esse problema em particular.
A OpenAI enfatiza a importância dessa conquista, sugerindo que ela demonstra a crescente capacidade dos sistemas de IA de manter cadeias longas e complexas de raciocínio e de conectar ideias entre disciplinas de maneiras que os pesquisadores talvez não tivessem considerado anteriormente. Essa capacidade pode ter implicações importantes para campos como biologia, física, engenharia e medicina.
“A IA está nos ajudando a explorar mais profundamente a grandiosa catedral da matemática que construímos ao longo de séculos”, disse Bloom em um comunicado. “Que outras maravilhas ainda desconhecidas estão esperando para serem descobertas?”
Artigo relacionado
A OpenAI lança uma versão mais segura do ChatGPT para adolescentes, anos depois de eles terem começado a usá-lo
Após uma série de processos judiciais relacionados à ausência de protocolos de segurança em chatbots de IA — o que contribuiu para suicídios entre adolescentes e outras crises de saúde mental —, a Ope
A Frontier AI Labs se recusa a divulgar estratégias de contenção para modelos rebeldes
Pesquisas recentes indicam que muito poucos laboratórios líderes em IA publicaram ou demonstraram planos de resposta para contenção. Um plano de contenção define os procedimentos a serem seguidos quan
O Tiffany Luck da NEA: As empresas ainda estão lutando com o ROI da IA
Carregando o player…No início deste ano, o “tokenmaxxing” dominou o Vale do Silício, com diretores executivos incentivando os funcionários a maximizar o uso de IA. Esse entusiasmo rapidamente encontrou a realidade. A Uber, segundo relatos, excedeu s
Recomendações de tópicos especiais relacionados
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
chatbot
Melhores ferramentas de treinamento de conversação com IA para prática de entrevistas
As melhores ferramentas de treinamento de conversação com IA mais recentes e altamente avaliadas para 2026, ideais para prática de entrevistas, estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e transformadoras, submetidas a rigorosos testes do mundo real para fornecer feedback preciso. Você encontrará uma comparação entre opções gratuitas e pagas, além de classificações detalhadas, para ajudá-lo a escolher a opção imperdível que aumenta sua confiança e habilidades. Explore agora para descobrir a ferramenta perfeita para o sucesso nas entrevistas!
12 ferramentas
xix.ai
Design e Arte
As melhores ferramentas de transferência de estilo com IA para experimentos criativos
As melhores e mais bem avaliadas ferramentas de transferência de estilo com IA de 2026 para experimentos criativos! A XIX.AI selecionou uma coleção poderosa e revolucionária de ferramentas imperdíveis, que oferecem resultados excepcionais por meio de testes reais e classificações rigorosas. Essas soluções de ponta ajudam os profissionais criativos a aumentar significativamente a produtividade, acelerando a criação de conteúdo e revelando possibilidades criativas infinitas. Explore agora para descobrir a ferramenta perfeita para você e comece a criar hoje mesmo!
9 ferramentas
xix.ai
Criação de quadrinhos
As melhores ferramentas de balões de diálogo com IA para a narrativa visual
As melhores e mais bem avaliadas ferramentas de balões de diálogo com IA para narrativa visual de 2026 já estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que ajudam os criadores a aumentar a produtividade e superar gargalos criativos. Veja uma comparação entre versões gratuitas e pagas, confira testes reais e verifique os rankings mais recentes para encontrar as soluções imperdíveis, perfeitas para criar narrativas visuais envolventes. Explore agora e descubra sua ferramenta ideal!
10 ferramentas
xix.ai
Comentários (0)
A OpenAI afirma que seu mais recente modelo de raciocínio gerou uma prova matemática original que refuta uma famosa conjectura não resolvida da geometria, proposta pela primeira vez por Paul Erdős em 1946.
Se isso soa familiar, é porque a OpenAI já fez afirmações ousadas semelhantes antes. Há sete meses, o ex-vice-presidente da empresa, Kevin Weil, postou no X: “O GPT-5 encontrou soluções para 10 (!) problemas de Erdős anteriormente não resolvidos e fez progressos em outros 11.”
No fim das contas, o GPT-5 não resolveu esses problemas; ele apenas redescobriu soluções que já estavam documentadas na literatura existente.
O anúncio atraiu críticas de rivais como Yann LeCun e o CEO do Google DeepMind, Demis Hassabis, levando Weil a excluir rapidamente sua postagem prematura. Desta vez, no entanto, a OpenAI parece ter evitado repetir esse erro. Juntamente com sua nova afirmação, a empresa publicou declarações de apoio de matemáticos, incluindo Noga Alon, Melanie Wood e Thomas Bloom — que mantém o site Erdos Problems e havia descrito anteriormente a postagem de Weil como “uma deturpação dramática”.
“Por quase 80 anos, os matemáticos acreditavam que as melhores soluções possíveis se assemelhavam a algo como grades quadradas”, afirmou a OpenAI no X. “Um modelo da OpenAI refutou essa crença ao descobrir uma família completamente nova de construções que apresentam melhor desempenho.”
A empresa descreveu isso como “a primeira vez que a IA resolveu de forma autônoma um problema aberto proeminente que é central para um campo da matemática”. De acordo com a OpenAI, a prova se originou de um novo modelo de raciocínio de uso geral, não de um sistema construído especificamente para resolver problemas matemáticos — ou mesmo esse problema em particular.
A OpenAI enfatiza a importância dessa conquista, sugerindo que ela demonstra a crescente capacidade dos sistemas de IA de manter cadeias longas e complexas de raciocínio e de conectar ideias entre disciplinas de maneiras que os pesquisadores talvez não tivessem considerado anteriormente. Essa capacidade pode ter implicações importantes para campos como biologia, física, engenharia e medicina.
“A IA está nos ajudando a explorar mais profundamente a grandiosa catedral da matemática que construímos ao longo de séculos”, disse Bloom em um comunicado. “Que outras maravilhas ainda desconhecidas estão esperando para serem descobertas?”
A OpenAI lança uma versão mais segura do ChatGPT para adolescentes, anos depois de eles terem começado a usá-lo
Após uma série de processos judiciais relacionados à ausência de protocolos de segurança em chatbots de IA — o que contribuiu para suicídios entre adolescentes e outras crises de saúde mental —, a Ope
A Frontier AI Labs se recusa a divulgar estratégias de contenção para modelos rebeldes
Pesquisas recentes indicam que muito poucos laboratórios líderes em IA publicaram ou demonstraram planos de resposta para contenção. Um plano de contenção define os procedimentos a serem seguidos quan
O Tiffany Luck da NEA: As empresas ainda estão lutando com o ROI da IA
Carregando o player…No início deste ano, o “tokenmaxxing” dominou o Vale do Silício, com diretores executivos incentivando os funcionários a maximizar o uso de IA. Esse entusiasmo rapidamente encontrou a realidade. A Uber, segundo relatos, excedeu s
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
As melhores ferramentas de treinamento de conversação com IA mais recentes e altamente avaliadas para 2026, ideais para prática de entrevistas, estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e transformadoras, submetidas a rigorosos testes do mundo real para fornecer feedback preciso. Você encontrará uma comparação entre opções gratuitas e pagas, além de classificações detalhadas, para ajudá-lo a escolher a opção imperdível que aumenta sua confiança e habilidades. Explore agora para descobrir a ferramenta perfeita para o sucesso nas entrevistas!
12 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de transferência de estilo com IA de 2026 para experimentos criativos! A XIX.AI selecionou uma coleção poderosa e revolucionária de ferramentas imperdíveis, que oferecem resultados excepcionais por meio de testes reais e classificações rigorosas. Essas soluções de ponta ajudam os profissionais criativos a aumentar significativamente a produtividade, acelerando a criação de conteúdo e revelando possibilidades criativas infinitas. Explore agora para descobrir a ferramenta perfeita para você e comece a criar hoje mesmo!
9 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de balões de diálogo com IA para narrativa visual de 2026 já estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que ajudam os criadores a aumentar a produtividade e superar gargalos criativos. Veja uma comparação entre versões gratuitas e pagas, confira testes reais e verifique os rankings mais recentes para encontrar as soluções imperdíveis, perfeitas para criar narrativas visuais envolventes. Explore agora e descubra sua ferramenta ideal!
10 ferramentas
xix.ai
