GPT-5.6 Sol refuta em 90 minutos conjectura estatística de 20 anos: o procedimento BH não é infalível
## GPT-5.6 Sol refuta em 90 minutos uma conjectura estatística de 20 anos
Edgar Dobriban, professor associado da Wharton School da Universidade da Pensilvânia, usou o GPT-5.6 Sol Pro para refutar uma conjectura que se mantinha havia cerca de 20 anos no campo dos testes de hipóteses múltiplas. Ele publicou o resultado como preprint no arXiv e listou a si mesmo como único autor.
**Pontos principais**
- **O que foi refutado**: o procedimento de Benjamini-Hochberg (BH) é um método fundamental para controlar a taxa de falsas descobertas (FDR), e seu artigo original de 1995 foi citado mais de 130 mil vezes. A conjectura afirmava que o BH controla a FDR em «testes gaussianos bilaterais correlacionados» sob qualquer estrutura de correlação. A IA provou que não é assim.
- **90 minutos contra 20 horas**: em uma única tentativa de cerca de 90 minutos, o modelo apresentou um contraexemplo completo, uma prova e um certificado numérico verificável por máquina. Dobriban revelou que o GPT-5.5, mesmo com vários agentes iterando em paralelo por mais de 20 horas, não conseguiu resolver, o que mostra de forma clara a diferença entre as gerações.
- **Normas acadêmicas**: no preprint, Dobriban declarou explicitamente que a prova foi obtida pelo GPT-5.6 Pro e listou a si mesmo como único autor. Um novo paradigma, «a IA produz a prova e os humanos assumem a responsabilidade», está se formando.
> Link original: [leia o original](https://mlq.ai/news/openais-gpt-56-sol-disproves-20-year-old-statistics-conjecture-in-90-minutes/). O texto é um resumo, apenas para referência.
