Les mathématiques de la prise de décision optimale

Des mathématiciens de l'Université de Chicago Booth ont développé un pipeline basé sur des agents d'IA pour extraire et résoudre des problèmes mathématiques non résolus dans les domaines de la recherche opérationnelle, de la gestion des opérations et de l'économie informatique. Le projet s'appuie sur un écosystème coordonné d'agents spécialisés : certains extraient les problèmes des publications, d'autres les vérifient dans la littérature existante, tandis que des solveurs cherchent des solutions en itérations successives.

Sur trois ans de publications de la revue *Mathematics of Operations Research*, le système a extrait 132 problèmes ouverts et en a résolu 26 complètement, avec des progrès partiels sur plus d'une centaine d'autres. Cette réussite révèle une force particulière des grands modèles de langage actuels : leur capacité à identifier des contre-exemples sans biais cognitif, contrairement aux mathématiciens humains qui ont tendance à privilégier les preuves de leurs hypothèses. Le projet vise aussi à créer un répertoire public et accessible des problèmes ouverts du domaine, permettant aux chercheurs d'accéder à des synthèses et des tentatives de solutions à travers l'ensemble du champ d'études.