Le filThèmes : ModèlesRechercheÉvaluations
OpenAI publie de nouveaux résultats sur des problèmes ouverts de mathématiques obtenus par un modèle interne
2 sourcesmis à jour il y a 7 hpertinence 2,9 sur5
L’essentiel
OpenAI partage sur GitHub les formalisations des preuves en Lean et des détails sur la recherche. Les résultats viennent d’un modèle de pointe interne à l’entreprise.
Couverture
- Sources
- 2
- Articles
- 2
- Par type (sources)
- Officiel 1
- Par rôle (articles)
- Primaire 1Relais 1
- Apports
- Annonce 1
Propagation2 articles en 16 h 56, d’OpenAI à AINews.
Les sources
1 article, puis 1 sous « Relayé par »
OpenAIOfficiel : fiche de la sourceSource primairePremier
OpenAI Group PBC, contrôlée par l'OpenAI Foundation (à but non lucratif)openai.com
Sharing AI progress in mathematics (site externe)
Annonce :
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Relayé par
AINewsRelais+ 16 h 56
x.com
OpenAI releases internal-model math results (19.0K) (site externe)
Sur les mêmes thèmes
Évaluations
Des salariés de la tech à San Francisco font conduire une Toyota Corolla par des modèles d’IA sur un parking
Recherche
DN-MOPD normalise le retour de chaque domaine pour fusionner plusieurs spécialistes dans un seul modèle
Recherche
LoHi associe une vidéo dense basse résolution et des images fixes haute résolution pour les vidéos longues
Recherche
Google Research présente Diffusion Controller, un réseau léger pour guider la génération d’images
À lire ensuite
Modèles
Google DeepMind annonce Gemini 4 Argon, déployé d’abord auprès de défenseurs cyber de confiance via Fairwind
Modèles
OpenAI lance GPT-6 Sol et GPT-6 Luna, deux modèles plus économiques qui complètent GPT-6 Astra
Modèles
Anthropic publie Claude Opus 5.5 et OpenAI lance GPT-6 Sol et GPT-6 Luna à environ une heure d’écart
Modèles
Anthropic lance Claude Sonnet 5.5, deuxième modèle de la famille Claude 5.5