ChatGPT 5.5 Pro résout des problèmes de recherche mathématique
Original : A recent experience with ChatGPT 5.5 Pro
Pourquoi c'est important
Marque une évolution majeure des capacités d'IA en recherche mathématique avancée
Le mathématicien Tim Gowers rapporte que ChatGPT 5.5 Pro a produit une recherche de niveau doctorat en une heure, résolvant des problèmes ouverts en théorie additive des nombres posés par Mel Nathanson.
Tim Gowers, mathématicien renommé, décrit comment ChatGPT 5.5 Pro a résolu des problèmes de recherche mathématique en théorie additive des nombres en environ une heure, sans contribution mathématique sérieuse de sa part. Il note que les LLM sont désormais capables de résoudre des problèmes de niveau recherche, notamment plusieurs problèmes d'Erdős. Gowers a testé le modèle sur des problèmes du paper de Mel Nathanson 'Diversity, Equity and Inclusion for Problems in Additive Number Theory', qui traite des ensembles sommes et de leurs tailles possibles. Il observe que les LLM peuvent maintenant identifier des arguments simples que les mathématiciens humains ont manqués, soulevant des questions sur l'originalité mathématique.