OpenAI News·· 13 hsélectionAI Score62
OpenAI publie des résultats de modèles frontière sur des problèmes ouverts en mathématiques
Sharing AI progress in mathematics
AI Introduction
OpenAI publie de nouveaux résultats sur des problèmes ouverts en mathématiques obtenus par un modèle frontière interne. L'entreprise partage les formalisations de preuves Lean et les détails de recherche sur GitHub.
Raison de la recommandation
OpenAI publie des résultats sur des problèmes ouverts en mathématiques issus d'un modèle frontière interne, avec les preuves Lean et les détails de recherche sur GitHub.
Source :OpenAI News · openai.com