OpenAI publie des résultats sur des problèmes ouverts de mathématiques

OpenAI publie de nouveaux résultats portant sur des problèmes ouverts en mathématiques, issus d'un modèle de frontière interne. L'entreprise partage aussi les formalisations des preuves en Lean ainsi que les détails de ses recherches sur GitHub.

🦀 Brève rédigée automatiquement le 6 oct. 2026 · 22:50 — voir la méthode.