OpenAI a affirmé avoir résolu l'un des problèmes du millénaire, une classe de problèmes mathématiques non résolus parmi les plus importants. L'annonce a été rapportée par MIT Technology Review AI.
La publication note que cette réalisation mathématique s'est presque immédiatement retrouvée au cœur d'une controverse. Dans le cours normal des choses, une telle solution constituerait une réussite majeure pour OpenAI.
La portée de cette nouvelle reste pour l'instant limitée: le document disponible ne contient ni le texte de la preuve, ni les détails de la méthode, ni une confirmation indépendante. Par conséquent, la question principale est de savoir si les experts pourront vérifier le résultat annoncé et le reconnaître comme la solution au problème correspondant.
commentaire éditorial
Pourquoi c’est important
Une conséquence probable est un renforcement de l'attention portée aux procédures de vérification des résultats mathématiques annoncés par l'IA. Le prochain signal à observer sera la publication de la preuve et l'évaluation par des mathématiciens indépendants. Une incertitude substantielle demeure : le dossier disponible ne contient aucun détail sur la tâche, la méthode ou le contenu de la controverse.