GPT-5.6 Sol réfute en 90 minutes une conjecture statistique vieille de 20 ans : la procédure BH n'est pas infaillible

## GPT-5.6 Sol réfute en 90 minutes une conjecture statistique vieille de 20 ans Edgar Dobriban, professeur associé à la Wharton School de l'université de Pennsylvanie, a utilisé GPT-5.6 Sol Pro pour réfuter une conjecture qui tenait depuis environ 20 ans dans le domaine des tests d'hypothèses multiples. Il a publié le résultat sous forme de préprint sur arXiv, en se désignant comme seul auteur. **Points clés** - **Ce qui a été réfuté** : la procédure de Benjamini-Hochberg (BH) est une méthode fondatrice pour contrôler le taux de fausses découvertes (FDR), et son article original de 1995 a été cité plus de 130 000 fois. La conjecture voulait que BH contrôle le FDR pour des « tests gaussiens bilatéraux corrélés » quelle que soit la structure de corrélation. L'IA a prouvé que ce n'est pas le cas. - **90 minutes contre 20 heures** : en une seule tentative d'environ 90 minutes, le modèle a fourni un contre-exemple complet, une preuve et un certificat numérique vérifiable par machine. Dobriban a révélé que GPT-5.5, même avec plusieurs agents itérant en parallèle pendant plus de 20 heures, n'y était pas parvenu, ce qui illustre bien l'écart entre les générations. - **Normes académiques** : dans le préprint, Dobriban précise explicitement que la preuve a été obtenue par GPT-5.6 Pro et se désigne comme seul auteur. Un nouveau paradigme, « l'IA produit la preuve, les humains en assument la responsabilité », prend forme. > Lien d'origine : [lire l'article original](https://mlq.ai/news/openais-gpt-56-sol-disproves-20-year-old-statistics-conjecture-in-90-minutes/). Ce texte est un résumé fourni à titre indicatif uniquement.