OpenAI publie plus de 700 manuscrits issus d’un modèle inédit

MMarc

OpenAI a publié plus de 700 manuscrits produits par un modèle qui n’a pas encore été rendu public, et qui présentent des progrès sur des problèmes de recherche ouverts, selon The Sequence. La publication rassemble ainsi plusieurs centaines de textes issus d’un même système, mais leur nombre ne permet pas, à lui seul, de mesurer la solidité des résultats annoncés ni leur portée scientifique. Les travaux comprennent des résultats mathématiques, et une partie d’entre eux est accompagnée d’une formalisation avec Lean, un langage utilisé pour exprimer des preuves de façon formelle. Cette formalisation ne concerne donc qu’une partie des résultats publiés ; elle ne permet pas de conclure que tous les manuscrits ou toutes leurs conclusions ont été vérifiés. La vérification des travaux mathématiques reste inachevée, et plusieurs manuscrits ont déjà été corrigés ou retirés. Ces corrections et ces retraits montrent que l’examen des textes se poursuit, sans permettre encore d’établir la validité de l’ensemble des résultats présentés. OpenAI met ainsi en circulation un corpus important de travaux attribués à un modèle inédit, avec des résultats qui demandent encore à être contrôlés. La portée des progrès annoncés reste à déterminer, tant que la vérification des manuscrits n’est pas achevée.