Les modèles d’intelligence artificielle Claude Fable 5 d’Anthropic et GPT-5.5 Pro d’OpenAI ont résolu indépendamment le même problème de théorie des nombres portant sur le groupe de Galois absolu des nombres 2-adiques. Le benchmark FrontierMath d’Epoch AI a enregistré sa deuxième solution vérifiée le 24 juin 2026, Claude Fable 5 ayant trouvé la solution en premier le 9 juin, suivi de GPT-5.5 Pro quinze jours plus tard. Ce type de problème, classé comme résultat solide en théorie des nombres, nécessiterait normalement entre un et trois mois de travail pour des experts humains. La communauté mathématique précise néanmoins que la vérification complète des preuves générées par l’IA est toujours en cours au 6 juillet 2026.
Source: Lire l’article original
