IA da OpenAI resolve problema estatístico de 30 anos
O modelo GPT-5.6 Sol Pro desprovou uma conjectura estatística sobre o método Benjamini-Hochberg em 90 minutos de processamento.
Pontos principais
- O professor Edgar Dobriban, da Wharton School, utilizou o modelo GPT-5.6 Sol Pro para analisar o procedimento Benjamini-Hochberg (BH).
- A IA demonstrou que o método BH não controla a taxa de falsas descobertas (FDR) como esperado em dados gaussianos correlacionados.
- O modelo completou a tarefa em cerca de 90 minutos, superando o GPT-5.5, que falhou após 20 horas de tentativas.
- A prova revelou que a taxa de erro pode exceder o nível nominal (0,104 contra 0,1), desafiando uma crença estabelecida desde 1995.
- O resultado foi validado por Dobriban através de um certificado de aritmética de intervalos e código de simulação publicado.
- Especialistas apontam o feito como um marco na capacidade de raciocínio lógico de modelos de linguagem em problemas matemáticos complexos.
Um professor da Universidade da Pensilvânia utilizou o modelo de IA GPT-5.6 Sol Pro, da OpenAI, para derrubar uma conjectura estatística que persistia há três décadas. O problema envolvia o procedimento Benjamini-Hochberg, uma ferramenta fundamental na ciência moderna para controlar falsos positivos em testes múltiplos, citada mais de 130 mil vezes. Embora o método seja amplamente utilizado, a comunidade científica assumia que ele permaneceria confiável mesmo com dados correlacionados, uma premissa que nunca havia sido formalmente provada ou refutada até agora.
O avanço foi alcançado após a IA combinar métodos conhecidos para construir um modelo fatorial onde o erro supera o limite teórico estabelecido. Segundo Edgar Dobriban, o autor do estudo, a diferença encontrada é pequena, o que torna o impacto mais relevante para a teoria estatística do que para aplicações práticas imediatas. O sucesso da tarefa, concluída em 90 minutos, é visto por especialistas como um salto significativo na capacidade de raciocínio de IAs, que conseguiram resolver em pouco tempo um desafio que humanos não haviam solucionado anteriormente.