Lar
O modelo de raciocínio da OpenAI resolve, por conta própria, um problema com 80 anos: de assistente de pesquisa a descobridor científico

A comunidade matemática ficou abalada com uma revelação sem precedentes. A OpenAI anunciou que seu modelo interno de raciocínio geral resolveu, de forma independente, um problema clássico da geometria combinatória que vinha desafiando os pesquisadores há 80 anos: o problema da distância de Erdős.
1. O desafio do problema: um labirinto aparentemente simples
O lendário matemático Paul Erdős formulou esse problema em 1946: Dados n pontos em um plano, qual é o número máximo de pares de pontos cuja distância seja exatamente 1?
Consenso de longa data abalado: por oito décadas, os principais matemáticos presumiram que o arranjo ideal se assemelhava a uma grade, produzindo um crescimento quase linear no número de pares com distância unitária.
A descoberta inspirada pela IA: Em vez de seguir métodos geométricos convencionais, o modelo da OpenAI aplicou a teoria algébrica dos números — incluindo torres de campos de classes e o teorema de Golod–Shafarevich — para conceber um arranjo de conjuntos de pontos totalmente inovador, provando que os pares de distância unitária podem, de fato, crescer mais rapidamente do que linearmente.
2. Por que isso é um marco na matemática da IA
O ganhador da Medalha Fields Timothy Gowers, um proeminente matemático, comentou: “Este é, sem dúvida, um marco na matemática da IA. Se um ser humano tivesse escrito este artigo e o enviado para a revista *Annals of Mathematics*, eu o recomendaria sem reservas para aceitação.”
De assistente a pesquisador autônomo: isso vai além do mero cálculo — marca a primeira vez que a IA abriu caminho em território inexplorado. Ela não se limitou a fornecer uma resposta; ofereceu uma perspectiva geométrica e uma conexão interdisciplinar que os humanos nunca haviam explorado.
Revisão por pares: O resultado de 125 páginas foi rapidamente verificado por matemáticos renomados em todo o mundo. Os especialistas elogiaram unanimemente sua lógica rigorosa e sua excepcional novidade.
3. Sinal para a indústria: a IA passa do cálculo rápido para o pensamento profundo
Essa descoberta sinaliza uma mudança fundamental na lógica do progresso da IGA (Inteligência Geral Artificial):
Um novo paradigma para a descoberta científica: a IA não está mais confinada à “organização de dados” dentro de estruturas existentes; agora ela exibe o potencial de um pesquisador independente — capaz de explorar de forma autônoma, propor hipóteses e construir argumentos lógicos.
O poder do pensamento interdisciplinar: o modelo uniu efetivamente a geometria à teoria algébrica avançada dos números. Essa capacidade de conectar campos há muito é considerada a marca registrada da intuição humana e da percepção profunda.
Validação do potencial futuro: essa prova demonstra que modelos de raciocínio geral podem sustentar cadeias lógicas rigorosas. A mesma arquitetura poderia, portanto, replicar essa capacidade de “descoberta científica” em domínios mais complexos, como a física, a ciência dos materiais e a engenharia biomédica no futuro.
Conclusão
Artigo relacionado
Startup sueca de IA Lovable Eyes tem avaliação de US$ 13,2 bilhões após rodada principal de investimentos
À medida que as ferramentas de codificação impulsionadas por IA ganham tração, a startup sueca Lovable garantiu uma grande rodada de financiamento. A empresa visa captar US$ 3 bilhões, o que poderia elevar sua avaliação para US$ 13,2 bilhões — o dobr
O Google testa o Agente Remy AI para o Gemini, à medida que o foco se desloca para o controle do usuário
De acordo com o Business Insider, o Google está testando o Remy, um novo agente pessoal de IA para o Gemini. Esta ferramenta tem como objetivo executar tarefas em nome dos usuários, simplificando tanto os fluxos de trabalho profissionais quanto as ro
Como corrigir as Core Web Vitals para melhorar o ranqueamento de SEO
Simplifique os Comentários do Boletim Escolar com Ferramentas de IAIntroduçãoFerramentas de IA para Gerar Comentários do Boletim EscolarMagic SchoolAlmanac AIChat GPTUsando o Magic School para Gerar Comentários do Boletim EscolarFazendo login n
Recomendações de tópicos especiais relacionados
Comentários (0)

A comunidade matemática ficou abalada com uma revelação sem precedentes. A OpenAI anunciou que seu modelo interno de raciocínio geral resolveu, de forma independente, um problema clássico da geometria combinatória que vinha desafiando os pesquisadores há 80 anos: o problema da distância de Erdős.
1. O desafio do problema: um labirinto aparentemente simples
O lendário matemático Paul Erdős formulou esse problema em 1946: Dados n pontos em um plano, qual é o número máximo de pares de pontos cuja distância seja exatamente 1?
Consenso de longa data abalado: por oito décadas, os principais matemáticos presumiram que o arranjo ideal se assemelhava a uma grade, produzindo um crescimento quase linear no número de pares com distância unitária.
A descoberta inspirada pela IA: Em vez de seguir métodos geométricos convencionais, o modelo da OpenAI aplicou a teoria algébrica dos números — incluindo torres de campos de classes e o teorema de Golod–Shafarevich — para conceber um arranjo de conjuntos de pontos totalmente inovador, provando que os pares de distância unitária podem, de fato, crescer mais rapidamente do que linearmente.
2. Por que isso é um marco na matemática da IA
O ganhador da Medalha Fields Timothy Gowers, um proeminente matemático, comentou: “Este é, sem dúvida, um marco na matemática da IA. Se um ser humano tivesse escrito este artigo e o enviado para a revista *Annals of Mathematics*, eu o recomendaria sem reservas para aceitação.”
De assistente a pesquisador autônomo: isso vai além do mero cálculo — marca a primeira vez que a IA abriu caminho em território inexplorado. Ela não se limitou a fornecer uma resposta; ofereceu uma perspectiva geométrica e uma conexão interdisciplinar que os humanos nunca haviam explorado.
Revisão por pares: O resultado de 125 páginas foi rapidamente verificado por matemáticos renomados em todo o mundo. Os especialistas elogiaram unanimemente sua lógica rigorosa e sua excepcional novidade.
3. Sinal para a indústria: a IA passa do cálculo rápido para o pensamento profundo
Essa descoberta sinaliza uma mudança fundamental na lógica do progresso da IGA (Inteligência Geral Artificial):
Um novo paradigma para a descoberta científica: a IA não está mais confinada à “organização de dados” dentro de estruturas existentes; agora ela exibe o potencial de um pesquisador independente — capaz de explorar de forma autônoma, propor hipóteses e construir argumentos lógicos.
O poder do pensamento interdisciplinar: o modelo uniu efetivamente a geometria à teoria algébrica avançada dos números. Essa capacidade de conectar campos há muito é considerada a marca registrada da intuição humana e da percepção profunda.
Validação do potencial futuro: essa prova demonstra que modelos de raciocínio geral podem sustentar cadeias lógicas rigorosas. A mesma arquitetura poderia, portanto, replicar essa capacidade de “descoberta científica” em domínios mais complexos, como a física, a ciência dos materiais e a engenharia biomédica no futuro.
Conclusão
Startup sueca de IA Lovable Eyes tem avaliação de US$ 13,2 bilhões após rodada principal de investimentos
À medida que as ferramentas de codificação impulsionadas por IA ganham tração, a startup sueca Lovable garantiu uma grande rodada de financiamento. A empresa visa captar US$ 3 bilhões, o que poderia elevar sua avaliação para US$ 13,2 bilhões — o dobr
Como corrigir as Core Web Vitals para melhorar o ranqueamento de SEO
Simplifique os Comentários do Boletim Escolar com Ferramentas de IAIntroduçãoFerramentas de IA para Gerar Comentários do Boletim EscolarMagic SchoolAlmanac AIChat GPTUsando o Magic School para Gerar Comentários do Boletim EscolarFazendo login n











