80 minutos para resolver! Jovem amador de 23 anos usa ChatGPT para ajudar a resolver um problema matemático de 60 anos

Um entusiasta amador de 23 anos, com a ajuda do GPT-5.4 Pro, resolveu uma conjectura matemática de Erdős pendente há 60 anos (#1196). O modelo, através de uma conexão interdisciplinar com processos de Markov, propôs um caminho de prova que os humanos ainda não haviam tentado.

De acordo com o anúncio oficial da OpenAI em 28 de abril e uma reportagem aprofundada da Scientific American em 24 de abril, uma conjectura matemática de Erdős pendente há 60 anos (número #1196) foi resolvida com o auxílio do modelo de raciocínio de ponta GPT-5.4 Pro. No mesmo dia, a OpenAI, através de um podcast oficial, com a participação do pesquisador Sébastien Bubeck e Ernest Ryu, juntamente com o apresentador Andrew Mayne, explicou oficialmente os detalhes e o significado do evento.

Protagonista do evento: Jovem amador Liam Price, 23 anos

O solucionador Liam Price, de 23 anos, sem formação avançada em matemática, costuma colaborar ocasionalmente com Kevin Barreto, estudante do segundo ano do Departamento de Matemática de Cambridge. Price relata: “Eu não sabia exatamente o que era essa questão — às vezes eu simplesmente entregava problemas de Erdős para a IA e via o que ela gerava.”

Em uma tarde de segunda-feira de abril de 2026, Price submeteu o thread de Erdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 para revisão comunitária. A reportagem aprofundada da Scientific American foi publicada em 24 de abril, e o podcast oficial da OpenAI, em 28 de abril, uma semana após o evento, forneceu uma explicação pública.

Avanço matemático: conexão de estruturas inteiras via processos de Markov, Tao comenta “o primeiro passo dos humanos foi errado”

A conjectura Erdős #1196 pertence à categoria de “conjuntos primitivos” — conjuntos de números inteiros onde nenhum elemento pode ser dividido por outro. A conjectura de Erdős afirma que, à medida que esses conjuntos crescem até o infinito, o valor máximo da “fração soma de Erdős” tende exatamente a 1.

A prova do GPT-5.4 Pro adotou uma abordagem “nunca tentada por matemáticos humanos”: estabelecer uma conexão entre a anatomia dos números inteiros e a teoria dos processos de Markov. Essa ponte interdisciplinar não fazia parte do caminho de pesquisa de ninguém até então.

O Fields Medalista e renomado matemático Terence Tao fez duas comentários amplamente citados sobre o evento. Ele descreveu: “Essa questão é diferente de outras — os humanos de fato a viram, mas, coletivamente, deram o primeiro passo errado”, e acrescentou: “O significado dessa contribuição para o estudo da estrutura dos números inteiros vai muito além de resolver essa questão específica de Erdős.”

Outro matemático da Universidade de Stanford, Jared Duker Lichtman, afirmou que o caminho adotado pela IA confirmou sua intuição de longa data: que há uma “alguma sensação de unidade comum” entre esses problemas.

Revelação da OpenAI em 28/4: podcast e validação subsequente

No podcast oficial de 28 de abril, a OpenAI convidou oficialmente os pesquisadores Sébastien Bubeck e Ernest Ryu, juntamente com o apresentador Andrew Mayne, para discutir “o papel da IA na pesquisa matemática”. A postagem no Twitter da OpenAI dizia: “No início deste mês, uma conjectura de Erdős pendente há 60 anos foi resolvida com o auxílio do GPT-5.4 Pro. Agora, a IA já domina a matemática — o que acontecerá a seguir?”

Até o momento desta publicação, a prova submetida por Price ainda está na fase de validação pela comunidade no fórum erdosproblems.com, sem ter passado por uma revisão formal por pares; a reportagem do TheDecoder de 15 de abril indicou que “a verificação formal ainda está em andamento”. A revelação do podcast da OpenAI de hoje é uma comunicação de nível externo, não significando que a prova matemática completa já foi validada — leitores interessados podem acompanhar o thread #1196 na plataforma Erdős Problems para atualizações posteriores.

• Este artigo foi reproduzido com autorização de: 《Notícias em Cadeia》
• Título original: 《Jovem de 23 anos, amador, resolve problema matemático de 60 anos usando ChatGPT: quebra em 80 minutos》
• Autor original: Elponcrab