GPT-5.6 Sol infirme une conjecture statistique vieille de 30 ans en 90 minutes

Un professeur de l'Université de Pennsylvanie a utilisé GPT-5.6 Sol Pro d'OpenAI pour réfuter une conjecture centrale sur la méthode Benjamini-Hochberg, non résolue depuis 30 ans, en 90 minutes. La version précédente (GPT-5.5) avait échoué à trouver une solution après 20 heures de tentatives. La solution combine des méthodes existantes de manière inédite, relançant le débat sur la capacité de l'IA à générer des connaissances nouvelles ou à simplement recombiner des savoirs acquis.