GPT 5.5 Pro résout des mathématiques de niveau doctorat — un médaillé Fields stupéfait

La dernière version interne de GPT 5.5 Pro d’OpenAI a accompli quelque chose qui envoie des ondes de choc à travers les mathématiques académiques : elle a résolu un problème de théorie additive des nombres de niveau doctorat en moins d’une heure — sans aucune indication humaine, échafaudage ou guidage intermédiaire.

L’évaluation a été menée par nul autre que Sir Timothy Gowers, médaillé Fields et l’un des mathématiciens les plus respectés au monde. Son verdict ? Le modèle a démontré ce qu’il appelle une « capacité de preuve originale » — la capacité de construire un argument mathématique nouveau à partir de zéro.

Ce qui s’est passé

Gowers a présenté au modèle un problème ouvert de théorie additive des nombres — un sous-domaine qui s’intéresse aux propriétés additives des entiers. Le problème résistait à une solution simple, nécessitant une intuition créative plutôt qu’un calcul par force brute.

En moins de 60 minutes, GPT 5.5 Pro a produit une preuve complète et logiquement cohérente. Gowers a décrit la chaîne de raisonnement comme « remarquablement élégante » — le type de preuve qu’un doctorant talentueux pourrait produire après des semaines de travail.

« Ce n’est pas de la reconnaissance de motifs sur des données d’entraînement. C’est une véritable créativité mathématique. » — Réviseur anonyme

Pourquoi c’est important

Cette percée a trois implications immédiates :

1. La recherche mathématique est sur le point de s’accélérer considérablement. Si les modèles de pointe peuvent prouver de nouveaux théorèmes de manière autonome, le goulot d’étranglement passe de « trouver des preuves » à « poser les bonnes questions. »

2. L’enseignement des mathématiques fait face à des questions existentielles. Lorsqu’une machine peut surpasser des doctorants en raisonnement, que devrions-nous enseigner ? Le consensus émergent est que l’intuition mathématique et la formulation de problèmes deviennent plus précieuses que le calcul.

3. La définition de la « compréhension » est sous pression. Le modèle comprend-il réellement les mathématiques, ou effectue-t-il une complétion de motifs ultra-sophistiquée ? Gowers lui-même admet que la distinction s’estompe.

La vue d’ensemble

La performance mathématique de GPT 5.5 Pro s’inscrit dans une tendance plus large. Les modèles de pointe franchissent seuil après seuil dans les benchmarks de raisonnement. Les implications vont bien au-delà des mathématiques — de la découverte scientifique automatisée à la conception technique assistée par IA.

Ce qui est clair, c’est que la frontière entre « outil » et « collègue » s’amenuise chaque mois.

Lecture connexe : GPT 5.5 Édition Instantanée : ce que les développeurs doivent savoir · Raisonnement parallèle adaptatif : quand les LLM font du multitâche