Pesquisador resolve seis problemas matemáticos de Erdős com IA
Shouqiao Wang utilizou o modelo GPT-5.6 Sol para solucionar seis problemas matemáticos abertos em apenas cinco dias.
Pontos principais
- Shouqiao Wang, estudante de doutorado na Universidade de Columbia, utilizou o modelo GPT-5.6 Sol com um fluxo de trabalho via Codex.
- O pesquisador obteve sucesso em 6 de 13 problemas de Erdős tentados, alcançando uma taxa de êxito de 46%.
- O método envolveu prompts estruturados que definem critérios rigorosos de prova e utilizam agentes adversários para auditar resultados.
- O processo de resolução incluiu ciclos de tentativa, diagnóstico de falhas, reestruturação de rotas e auditoria contínua.
- Alguns problemas exigiram até 32 horas de processamento contínuo para que o modelo alcançasse uma conclusão final.
- O material, incluindo PDFs de provas, arquivos LaTeX e prompts, foi disponibilizado publicamente no GitHub.
O pesquisador Shouqiao Wang anunciou a resolução de seis problemas matemáticos abertos, conhecidos como problemas de Erdős, utilizando o modelo de inteligência artificial GPT-5.6 Sol. O trabalho foi realizado ao longo de cinco dias, empregando um fluxo de trabalho baseado em Codex que, segundo o autor, não exige conhecimento matemático profundo, mas depende de uma construção precisa de prompts e de uma estratégia de busca rigorosa.
Para atingir os resultados, Wang estruturou os prompts como contratos, estabelecendo claramente o que constituiria uma prova completa e identificando possíveis armadilhas. O sistema operou em um ciclo de pesquisa autônomo, onde o modelo gerava abordagens, identificava falhas em seus próprios argumentos e realizava auditorias adversárias para eliminar lacunas. Embora os resultados tenham sido publicados e compartilhados pelo pesquisador, a comunidade científica ainda aguarda verificações independentes e formalizações adicionais para confirmar a validade das soluções apresentadas.
Comentários
Carregando comentários...