Toutes les actus
1338 articles · mis à jour en continu
Google dévoile AMIE, une IA médicale pour la gestion des maladies complexes
Découvrez AMIE, l'IA médicale de Google capable d'assister dans la gestion de maladies complexes, selon une étude publiée dans Nature.
OpenAI propose 5 % de participation au gouvernement américain dans des discussions en cours
OpenAI envisage de céder une participation minoritaire de 5 % à l'administration américaine dans le cadre de discussions en cours.
La FTC appelée à maintenir sa surveillance de X face aux risques de confidentialité liés à l'IA
Les défenseurs de la vie privée demandent à la FTC de bloquer la fin du suivi de X, invoquant des risques liés à l'IA.
Mistral publie Leanstral 1.5, un modèle open-source pour les preuves mathématiques formelles
Découvrez comment Mistral améliore la génération automatique de preuves formelles en mathématiques avec Leanstral 1.5.
Mistral AI publie Leanstral 1.5, un modèle open source optimisé pour les preuves formelles
Découvrez la dernière version du modèle Leanstral 1.5 de Mistral AI, optimisée pour la génération de preuves et adaptée à des usages variés.
Mistral publie Leanstral 1.5, un modèle open source optimisé pour les preuves formelles
Découvrez les améliorations de Leanstral 1.5, un modèle de Mistral optimisé pour la génération de preuves formelles.
Mistral AI publie Leanstral 1.5, un modèle léger dédié à la vérification formelle en Lean 4
Découvrez un nouveau modèle léger de Mistral AI conçu pour accélérer les tests et prototypes en IA.
Mistral publie Leanstral 1.5, un modèle open source optimisé pour la vérification formelle
Présentation du nouveau modèle Mistral optimisé pour les tâches nécessitant des justifications détaillées.
Microsoft crée une filiale dédiée au déploiement d'IA avec 2,5 milliards de dollars
Les entreprises cherchent à maîtriser l'intégralité de la chaîne de valeur de l'IA, de la recherche au déploiement opérationnel.