OpenAI publie 722 manuscrits mathématiques générés par IA revendiquant des solutions à des problèmes ouverts

OpenAI publie sur GitHub, sous licence Apache 2.0, 722 manuscrits regroupés en 372 familles de résultats, produits par un modèle non commercialisé confronté à environ 4 000 problèmes ouverts, avec en moyenne trois heures de calcul ChatGPT Pro par résultat. Seuls 162 disposent d'une preuve Lean complète, et les mathématiciens appellent à la prudence sur la vérification et l'attribution.