The Decoder· Matthias Bastian·· 2 hMême actuAI Score76
OpenAI publie 372 preuves mathématiques générées par IA sur GitHub
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI Introduction
OpenAI a publié sur GitHub 372 nouveaux résultats mathématiques produits par un modèle de frontière interne.
Même actualité, affichée dans la sélection« OpenAI publie des résultats de modèles frontière sur des problèmes ouverts en mathématiques »
Source :The Decoder · the-decoder.com