AI Research · Actualités
OpenAI annonce trois résultats scientifiques de l’IA : aux chercheurs de les vérifier
Le 26 octobre, OpenAI a annoncé trois résultats issus d’un modèle interne en mathématiques, en informatique et en physique. Voici les documents déjà accessibles, ce qui a été formalisé en Lean et comment s’organise la vérification indépendante.
0
↗