OpenAI publie 700 preuves mathématiques et crispe les chercheurs
OpenAI a mis en ligne plus de 700 fichiers liés à des preuves mathématiques, censés être vérifiés en Lean. Des chercheurs dénoncent une p...
Restez informés des dernières tendances et de nos analyses sur l'IA








