Il a fait fonctionner GPT-5.6 Sol pendant 33 heures pour résoudre le Dernier théorème de Fermat, et le système l'a interrompu de force
Un expert en calcul réversible et physique computationnelle, Michael P. Frank, a récemment assigné à GPT-5.6 Sol une tâche de recherche exigeante : explorer s'il existe une voie plus simple que la preuve de Wiles-Taylor pour le dernier théorème de Fermat. L'accent était mis sur des concepts mathématiques avancés comme les courbes de Frey, la descente infinie uniforme et l'inégalité arithmétique de type abc, le tout en maintenant une rigueur scientifique stricte.
La tâche a tourné en arrière-plan pendant environ 33 heures, consommant des ressources de calcul significatives, avant d'être brutalement interrompue par le système d'OpenAI. GPT-5.6 Sol a lui-même analysé que l'arrêt était probablement dû soit à une consommation excessive de ressources, soit au fait qu'OpenAI avait déjà échoué sur ce problème avec des modèles similaires et ne voulait pas gaspiller plus de puissance de calcul.
Le modèle a rapporté que son travail de 33 heures avait principalement consisté à transformer des intuitions potentielles en énoncés mathématiques précis, pour ensuite les réfuter ou les exclure. Le résultat final est essentiellement une "carte des impasses", délimitant des voies infructueuses, plutôt qu'une nouvelle preuve. Il a recommandé d'arrêter là.
Cet incident a suscité des débats sur les motivations d'OpenAI. Certains spéculent que la société pourrait délibérément restreindre l'accès à ses capacités les plus avancées pour garder un avantage concurrentiel ou éviter un examen réglementaire accru. D'autres, comme le chercheur Noam Brown d'OpenAI, rétorquent qu'une résolution publique d'un problème du millénaire par un utilisateur serait la meilleure publicité possible.
Des explications techniques ont également été avancées : l'interruption pourrait être un mécanisme de sécurité standard pour empêcher des boucles infinies, ou simplement le résultat d'un bug connu de GPT-5.6 Sol dans les tâches de longue durée. L'incident soulève des questions sur les limites actuelles de l'IA dans la recherche mathématique fondamentale et sur le contrôle des capacités des modèles par leurs créateurs.
marsbitIl y a 42 mins
