O jovem Liam Price, de 23 anos, resolveu o problema n\u00ba 1196 de Erd\u0151s em 80 minutos, usando o GPT-5.4 Pro. Ele acessou o site de problemas, escolheu aleatoriamente o enunciado e enviou ao chat. A solu\u00e7\u00e3o apareceu como plaus\u00edvel.<\/p>\n
Terence Tao, renomado matem\u00e1tico, confirmou a resolu\u00e7\u00e3o do problema, que persistia sem solu\u00e7\u00e3o desde 1966. A conjectura trata de conjuntos primitivos de inteiros e o comportamento de uma adi\u00e7\u00e3o espec\u00edfica quando os n\u00fameros crescem muito.<\/p>\n
Quase ningu\u00e9m esperava que um estudante sem forma\u00e7\u00e3o matem\u00e1tica avan\u00e7ada chegasse a uma solu\u00e7\u00e3o t\u00e3o r\u00e1pida. A experi\u00eancia come\u00e7ou com uma consulta de Price a um amigo que estudava matem\u00e1tica, que ajudou a avaliar o resultado.<\/p>\n
O GPT-5.4 Pro utilizou a fun\u00e7\u00e3o de von Mangoldt, ligada \u00e0 teoria dos n\u00fameros e aos primos, para orientar a resolu\u00e7\u00e3o. A estrat\u00e9gia divergiu de tentativas anteriores, que seguiram caminhos tradicionais no estudo dos conjuntos primitivos.<\/p>\n
O caso envolveu ainda Jared Lichtman, matem\u00e1tico de Stanford que dedicou anos ao problema, al\u00e9m de pesquisadores que j\u00e1 tinham trabalhado no enunciado. A solu\u00e7\u00e3o gerou debate sobre o papel de modelos de IA no trabalho matem\u00e1tico.<\/p>\n
A conclus\u00e3o sobre a efici\u00eancia da IA em matem\u00e1tica permanece em discuss\u00e3o. Especialistas destacam que a ferramenta pode acelerar verify estat\u00edsticas e explorar caminhos abstratos, sem eliminar a necessidade de valida\u00e7\u00e3o humana rigorosa.<\/p>\n","protected":false},"excerpt":{"rendered":"