AlphaProof Nexus résout des problèmes de mathématiques ouverts
Google DeepMind affirme que son système AlphaProof Nexus a résolu des dizaines de problèmes ouverts en mathématiques. L’étude, publiée da...
NVIDIA ouvre un corpus géant pour les langues indiennes
Granite Switch 4.1 réunit chat, décision et transcription sur un seul endpoint
Meta ouvre un modèle géant d’IA exécutable sur deux Mac Studio
Anthropic ouvre ses systèmes à des évaluateurs externes
Muse Spark Open : le modèle multimodal de Meta vise les agents
FLUX 3 Image Klein pousse l’édition locale d’images sur GPU grand public
Nvidia muscle ses agents multimodaux avec Nemotron 3.5 Super VL
Antibiotiques : DeepMind teste un agent pour dénicher des peptides
Nvidia compresse ses modèles d’agents pour les faire tourner localement
12 octobre 2026
9 octobre 2026
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...