OpenAI publie 719 manuscrits de mathématiques écrits par un modèle inédit

OpenAI publie sur GitHub 719 manuscrits de mathématiques, rangés en 372 familles de résultats, produits par un modèle interne qu'elle ne nomme pas et ne publie pas : environ 4 000 problèmes lui ont été soumis, et chaque résultat conservé a demandé en moyenne trois heures de calcul. OpenAI dit en avoir formalisé en Lean une partie — 42 % des résultats de premier niveau — et le dépôt prévient que pour les autres, « certains pourraient contenir des erreurs ». Le lendemain, trois manuscrits ont été retirés : une erreur de signe invalidait l'un d'eux et les constructions de deux autres qui en dépendent.

Le groupe consultatif de l'Institute for Advanced Study, qu'OpenAI avait annoncé le 21 septembre après la contestation de sa revendication sur Navier-Stokes, avait publié le 29 des lignes directrices pour les laboratoires : diffuser vite ce que personne ne comprend encore, nommer le modèle et publier les invites, le calcul et son coût, éviter le marketing, cesser de tester des problèmes avancés sur des modèles propriétaires. OpenAI dit s'en inspirer ; elle ne publie ni le nom du modèle ni les invites, seulement dix résumés de raisonnement et une moyenne de calcul. Le groupe précise que son rôle « ne doit pas être lu comme un jugement sur l'impact de ces résultats ».