OpenAI publie 722 manuscrits de maths issus d'un modèle interne
Les résultats, regroupés en 372 familles et en partie formalisés en Lean, sont publiés sur GitHub. Le modèle non commercialisé a travaillé sur environ 4 000 problèmes, avec en moyenne l'équivalent de trois heures de réflexion ChatGPT Pro par résultat.
- #OpenAI
- #mathématiques
- #Lean