OpenAI publie les preuves de 372 grands problèmes mathématiques, dont la conjecture des jeux uniques
OpenAI a publié les solutions à 372 problèmes mathématiques de longue date, y compris la conjecture des jeux uniques, en utilisant un modèle interne qui nécessite une vérification humaine.
