Ele tem 23 anos, chama-se Liam Price e não possui formação matemática avançada. Mesmo assim, há alguns dias, ele acessou o site dos problemas de Erdős, escolheu um aleatoriamente e o colou no ChatGPT. Ele não conhecia a história do problema nem quem o havia tentado antes. O que recebeu como resposta parecia uma solução correta e, após consultar um amigo que estudava matemática, ambos perceberam que poderiam ter algo especial em mãos.
A solução
Algumas horas depois, Terence Tao, um dos matemáticos mais renomados do mundo, confirmou que o problema nº 1196 de Erdős, uma conjectura sobre conjuntos primitivos de inteiros que permanecia sem solução desde 1966, tinha uma solução. O GPT-5.4 Pro a encontrou em apenas 80 minutos.
Rússia tem inimigo sem precedentes na guerra na Ucrânia: Japão acaba de desembarcar com arma capaz de abater seus drones
A Ucrânia acaba de reinventar o combate aéreo com uma peça da era soviética: um avião que dispara drones
EUA ressuscitaram "direito de captura" para apreender navio da China: o problema é que chineses tomaram nota
Este problema analisava uma questão sobre o comportamento de uma adição matemática específica em conjuntos primitivos — isto é, conjuntos de inteiros onde nenhum divide outro — quando esses números se tornam muito grandes. Jared Lichtman, um matemático de Stanford, dedicou anos ao problema e obteve progresso parcial, mas tanto ele quanto aqueles que o haviam tentado antes dele partiram do mesmo ponto, que parecia ser o caminho certo.
Ideia inovadora
O GPT-5.4 usou um ponto de partida diferente. Ele se manteve no âmbito da abstração e utilizou uma função especial chamada função de von Mangoldt, uma ferramenta clássica da teoria dos números conhecida por suas conexões com números primos e a função zeta de Riemann. Ninguém havia considerado essa abordagem para o ...
Matérias relacionadas
O novo Renault Twingo em breve contará com uma opção que muitos carros urbanos não possuem
