GPT-5.6 Sol refuta en 90 minutos una conjetura estadística de 20 años: el procedimiento BH no es infalible

## GPT-5.6 Sol refuta en 90 minutos una conjetura estadística de 20 años Edgar Dobriban, profesor asociado de la Wharton School de la Universidad de Pensilvania, usó GPT-5.6 Sol Pro para refutar una conjetura que se mantenía desde hacía unos 20 años en el campo de las pruebas de hipótesis múltiples. Publicó el resultado como preprint en arXiv y se incluyó como único autor. **Puntos clave** - **Qué se refutó**: el procedimiento de Benjamini-Hochberg (BH) es un método fundacional para controlar la tasa de falsos descubrimientos (FDR), y su artículo original de 1995 ha sido citado más de 130 000 veces. La conjetura sostenía que BH controla la FDR en «pruebas gaussianas bilaterales correlacionadas» bajo cualquier estructura de correlación. La IA demostró que no es así. - **90 minutos frente a 20 horas**: en un solo intento de unos 90 minutos, el modelo produjo un contraejemplo completo, una demostración y un certificado numérico verificable por máquina. Dobriban reveló que GPT-5.5 no logró resolverlo ni siquiera con varios agentes iterando en paralelo durante más de 20 horas, lo que ilustra claramente la brecha generacional. - **Normas académicas**: en el preprint, Dobriban indicó explícitamente que la demostración fue obtenida por GPT-5.6 Pro y se incluyó como único autor. Está surgiendo un nuevo paradigma: «la IA aporta la demostración y los humanos asumen la responsabilidad». > Enlace original: [ver el original](https://mlq.ai/news/openais-gpt-56-sol-disproves-20-year-old-statistics-conjecture-in-90-minutes/). El texto es un resumen y se ofrece solo como referencia.