Recherche
OpenAI publie 722 manuscrits mathématiques générés par IA, avec une validation encore incomplète
OpenAI a rendu publics 722 manuscrits mathématiques regroupés en 372 familles de résultats, produits par un modèle interne non publié, avec des formalisations Lean et des informations sur leur génération.