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
Sam Altman Gera Debate Sobre a Desaceleração da IA
Escute noApple PodcastsEscute noSpotifyO CEO da OpenAI, Sam Altman, sugeriu recentemente que pode ser hora de “controlar o ritmo do desenvolvimento de IA” para permitir que a sociedade “se fortaleça em torno de alguns desses novos níveis de capacida
A OpenAI process a Apple por violação de segredo comercial
A OpenAI refutou as alegações de segredo comercial da Apple na terça-feira, argumentando que a ação judicial é infundada.“Levamos essas alegações a sério, mas não vemos evidências que as apoiem”, afirmou a OpenAI, conforme relatado por Ed Ludlow, da
A cabeça de robótica da OpenAI, Caitlin Kalinowski, renuncia devido à parceria com o Pentágono
O líder de robótica da OpenAI, Caitlin Kalinowski, renunciou após a polêmica parceria da empresa com o Departamento de Defesa.“Esta não foi uma decisão fácil”, explicou Kalinowski em uma declaração nas redes sociais. “Embora a IA desempenhe um papel
Recomendações de tópicos especiais relacionados
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?”
Sam Altman Gera Debate Sobre a Desaceleração da IA
Escute noApple PodcastsEscute noSpotifyO CEO da OpenAI, Sam Altman, sugeriu recentemente que pode ser hora de “controlar o ritmo do desenvolvimento de IA” para permitir que a sociedade “se fortaleça em torno de alguns desses novos níveis de capacida
A OpenAI process a Apple por violação de segredo comercial
A OpenAI refutou as alegações de segredo comercial da Apple na terça-feira, argumentando que a ação judicial é infundada.“Levamos essas alegações a sério, mas não vemos evidências que as apoiem”, afirmou a OpenAI, conforme relatado por Ed Ludlow, da
A cabeça de robótica da OpenAI, Caitlin Kalinowski, renuncia devido à parceria com o Pentágono
O líder de robótica da OpenAI, Caitlin Kalinowski, renunciou após a polêmica parceria da empresa com o Departamento de Defesa.“Esta não foi uma decisão fácil”, explicou Kalinowski em uma declaração nas redes sociais. “Embora a IA desempenhe um papel











