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 traça os contornos da economia da IA com fundos de riqueza pública, impostos sobre robôs e a semana de quatro dias
Enquanto os governos lutam para lidar com o impacto econômico das máquinas superinteligentes, a OpenAI divulgou um conjunto de propostas de políticas que delineiam como a riqueza e o trabalho poderiam
Greg Brockman revela como Elon Musk deixou a OpenAI
No final de agosto de 2017, figuras-chave da OpenAI — na época, um pequeno laboratório de pesquisa sem fins lucrativos — se reuniram para discutir como criariam uma entidade com fins lucrativos para c
O Pentágono assinou acordos com a Nvidia, a Microsoft e a AWS para implementar inteligência artificial em redes confidenciais.
Após alcançar acordos anteriores com a Google, a SpaceX e a OpenAI, o Departamento de Defesa dos EUA anunciou na sexta-feira que assinou contratos com a Nvidia, a Microsoft, a Amazon Web Services e a Reflection AI para utilizar suas tecnologias e mod
Recomendações de tópicos especiais relacionados
Negócios
As melhores ferramentas de recrutamento com IA: analise currículos e automatize o agendamento de entrevistas com candidatos
Descubra as melhores ferramentas de recrutamento com IA de 2026 no XIX.AI. Nossa lista selecionada apresenta soluções poderosas e revolucionárias para a triagem de currículos e a automação do agendamento de entrevistas com candidatos. Compare opções gratuitas e pagas com testes práticos e rankings atualizados semanalmente. Encontre o seu assistente de contratação ideal e otimize seu processo de recrutamento hoje mesmo!
10 ferramentas
xix.ai
Produtividade
Treinadores de bem-estar e concentração com IA: controle o esgotamento e aumente os níveis de energia mental
Descubra os melhores coaches de bem-estar pessoal e concentração com IA de 2026 no XIX.AI. Nossos rankings selecionados apresentam ferramentas de ponta e revolucionárias para lidar com o esgotamento e aumentar a energia mental. Compare opções gratuitas e pagas com informações reais. Descubra hoje mesmo o caminho para atingir o máximo de produtividade e bem-estar.
10 ferramentas
xix.ai
chatbot
Os melhores chatbots românticos com IA: construa relacionamentos duradouros com personalidades consistentes
Descubra os melhores chatbots românticos com IA de 2026 para construir relacionamentos genuínos e duradouros. Nossa lista selecionada apresenta personalidades marcantes e consistentes, comparações entre versões gratuitas e pagas, além de testes práticos. Encontre seu companheiro ideal e comece a construir seu relacionamento hoje mesmo no XIX.AI.
10 ferramentas
xix.ai
Educação e Aprendizagem
Os melhores mentores em ciência de dados e inteligência artificial: domínio avançado em SQL, Pandas e fluxos de trabalho de aprendizado de máquina
Descubra os melhores mentores em ciência de dados com IA para 2026, que o ajudarão a dominar SQL, Pandas e fluxos de trabalho de aprendizado de máquina. Conheça nossa seleção cuidadosamente elaborada e altamente avaliada no XIX.AI para obter orientações poderosas e revolucionárias. Compare opções gratuitas e pagas com informações valiosas da prática real. Domine a ciência de dados hoje mesmo.
10 ferramentas
xix.ai
chatbot
Os melhores treinadores de paquera e conversação com IA: melhore seu carisma social e sua autoconfiança em tempo real
Descubra os melhores treinadores de conversação e paquera com IA de 2026 no XIX.AI. Nossa seleção cuidadosamente escolhida e com as melhores avaliações ajuda você a desenvolver carisma social e confiança em tempo real. Explore ferramentas imperdíveis e revolucionárias, com comparações entre versões gratuitas e pagas e rankings atualizados semanalmente. Descubra hoje mesmo o seu diferencial social.
10 ferramentas
xix.ai
código
Os melhores ferramentas de IA para testes unitários automatizados: geração de casos de teste Jest, PyTest e JUnit com apenas um clique
Descubra as mais recentes e bem avaliadas ferramentas de IA de 2026 para testes unitários automatizados. Nossa seleção cuidadosa inclui soluções poderosas que podem transformar o seu processo, permitindo gerar casos de teste para Jest, PyTest e JUnit de forma instantânea. Compare opções gratuitas e pagas com testes reais e classificações atualizadas semanalmente no XIX.AI. Desfrute das vantagens da IA e aumente a produtividade do seu desenvolvimento hoje mesmo.
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 traça os contornos da economia da IA com fundos de riqueza pública, impostos sobre robôs e a semana de quatro dias
Enquanto os governos lutam para lidar com o impacto econômico das máquinas superinteligentes, a OpenAI divulgou um conjunto de propostas de políticas que delineiam como a riqueza e o trabalho poderiam
Greg Brockman revela como Elon Musk deixou a OpenAI
No final de agosto de 2017, figuras-chave da OpenAI — na época, um pequeno laboratório de pesquisa sem fins lucrativos — se reuniram para discutir como criariam uma entidade com fins lucrativos para c
O Pentágono assinou acordos com a Nvidia, a Microsoft e a AWS para implementar inteligência artificial em redes confidenciais.
Após alcançar acordos anteriores com a Google, a SpaceX e a OpenAI, o Departamento de Defesa dos EUA anunciou na sexta-feira que assinou contratos com a Nvidia, a Microsoft, a Amazon Web Services e a Reflection AI para utilizar suas tecnologias e mod
Descubra as melhores ferramentas de recrutamento com IA de 2026 no XIX.AI. Nossa lista selecionada apresenta soluções poderosas e revolucionárias para a triagem de currículos e a automação do agendamento de entrevistas com candidatos. Compare opções gratuitas e pagas com testes práticos e rankings atualizados semanalmente. Encontre o seu assistente de contratação ideal e otimize seu processo de recrutamento hoje mesmo!
10 ferramentas
xix.ai
Descubra os melhores coaches de bem-estar pessoal e concentração com IA de 2026 no XIX.AI. Nossos rankings selecionados apresentam ferramentas de ponta e revolucionárias para lidar com o esgotamento e aumentar a energia mental. Compare opções gratuitas e pagas com informações reais. Descubra hoje mesmo o caminho para atingir o máximo de produtividade e bem-estar.
10 ferramentas
xix.ai
Descubra os melhores chatbots românticos com IA de 2026 para construir relacionamentos genuínos e duradouros. Nossa lista selecionada apresenta personalidades marcantes e consistentes, comparações entre versões gratuitas e pagas, além de testes práticos. Encontre seu companheiro ideal e comece a construir seu relacionamento hoje mesmo no XIX.AI.
10 ferramentas
xix.ai
Descubra os melhores mentores em ciência de dados com IA para 2026, que o ajudarão a dominar SQL, Pandas e fluxos de trabalho de aprendizado de máquina. Conheça nossa seleção cuidadosamente elaborada e altamente avaliada no XIX.AI para obter orientações poderosas e revolucionárias. Compare opções gratuitas e pagas com informações valiosas da prática real. Domine a ciência de dados hoje mesmo.
10 ferramentas
xix.ai
Descubra os melhores treinadores de conversação e paquera com IA de 2026 no XIX.AI. Nossa seleção cuidadosamente escolhida e com as melhores avaliações ajuda você a desenvolver carisma social e confiança em tempo real. Explore ferramentas imperdíveis e revolucionárias, com comparações entre versões gratuitas e pagas e rankings atualizados semanalmente. Descubra hoje mesmo o seu diferencial social.
10 ferramentas
xix.ai
Descubra as mais recentes e bem avaliadas ferramentas de IA de 2026 para testes unitários automatizados. Nossa seleção cuidadosa inclui soluções poderosas que podem transformar o seu processo, permitindo gerar casos de teste para Jest, PyTest e JUnit de forma instantânea. Compare opções gratuitas e pagas com testes reais e classificações atualizadas semanalmente no XIX.AI. Desfrute das vantagens da IA e aumente a produtividade do seu desenvolvimento hoje mesmo.
10 ferramentas
xix.ai
