🧮Garoto de 23 anos resolve problema matemático de 60 anos com o ChatGPT
Um amador de 23 anos usou o GPT-5.4 pra produzir uma solução nova para um problema proposto por Paul Erdős nos anos 1960. O problema envolve conjuntos primitivos - um conceito de teoria dos números onde nenhum número divide outro. --- O que impressiona é o método: a abordagem modelou relações entre números usando técnicas probabilísticas parecidas com cadeias de Markov. Essa mudança de perspectiva permitiu demonstrar que a soma de Erdős converge para 1 com uma margem muito mais apertada do que trabalhos anteriores. --- Terence Tao - um dos maiores matemáticos vivos - confirmou que a ideia é genuinamente nova e potencialmente útil em várias áreas da teoria dos números. A prova ainda está sendo verificada, mas se confirmada, é um marco: não pela IA ter resolvido sozinha, mas por ter desbloqueado uma forma de pensar que humanos não tinham tentado.
🚨 Ai-assisted breakthrough on a 60 year old math problem. A 23-year-old amateur, working with ChatGPT (GPT-5.4), has produced a new solution to a long standing problem posed by Paul Erdős in the 1960s. The problem focuses on primitive sets, a concept in number theory where no number divides another. At the center of the challenge is a mathematical expression known as the Erdős sum, which measures how these sets behave as numbers grow larger. For decades, mathematicians believed the value of this sum should approach 1 for large numbers, but no one could prove it. The AI-assisted approach introduced a completely new method, modeling number relationships using probabilistic techniques similar to Markov chains. This shift in perspective allowed the result to show the sum approaches 1 with a much tighter bound than previous work. Experts like Terence Tao and Jared Duker Lichtman say the idea is genuinely new and potentially useful across number theory, though the proof is still being carefully verified and refined.
— @SciTechera View on X
Problema de Erdős resolvido com ajuda de IA aos 23 anos
Um jovem de 23 anos conseguiu produzir uma nova solução para um problema matemático proposto por Paul Erdős nos anos 1960, utilizando o ChatGPT (GPT-5.4) como ferramenta de assistência. A descoberta ainda está em fase de verificação, mas especialistas como Terence Tao já classificaram a abordagem como genuinamente nova e potencialmente útil para a teoria dos números.
O problema original envolve conjuntos primitivos, um conceito da teoria dos números onde nenhum número divide outro. No centro da questão está a chamada soma de Erdős, uma expressão matemática que mede o comportamento desses conjuntos à medida que os números crescem. Por décadas, matemáticos acreditaram que o valor dessa soma deveria se aproximar de 1 para números grandes, mas ninguém havia conseguindo demonstrar isso com rigor.
A abordagem que mudou o jogo
O diferencial do trabalho está no método utilizado. Em vez de seguir caminhos tradicionais da teoria dos números, a abordagem modelou as relações entre números usando técnicas probabilísticas semelhantes a cadeias de Markov. Essa mudança de perspectiva permitiu demonstrar que a soma de Erdős converge para 1 com uma margem muito mais apertada do que trabalhos anteriores.
Terence Tao, um dos matemáticos mais respeitados da atualidade, confirmou que a ideia é genuinamente nova e pode ter aplicações em diversas áreas da teoria dos números. A prova ainda está sendo verificada e refinada por pares.
Por que isso importa para builders e devs brasileiros
O caso ilustra uma tendência que developers brasileiros devem observar: ferramentas de IA não estão substituindo o raciocínio humano, mas desbloqueando formas de pensar que não haviam sido exploradas. O jovem não foi substituído pela IA — ele usou o modelo para explorar uma abordagem matemática não convencional.
Para quem constrói produtos com IA no Brasil, o episódio reforça que o diferencial está na combinação entre conhecimento técnico profundo e criatividade na aplicação das ferramentas. A IA funciona como um amplificador de capacidade quando o usuário entende o domínio suficiente para fazer as perguntas certas e validar os resultados.
O problema de Erdős permanece em verificação, mas independentemente do resultado final, o método apresentado representa um precedente: a possibilidade de usar modelos de linguagem para explorar caminhos matemáticos não convencionais pode abrir novas fronteiras de pesquisa.