Mistral lance Leanstral, un agent qui prouve mathématiquement que le code fonctionne
Plutôt que de relire du code pour traquer les bugs, ce nouvel agent de Mistral en démontre formellement la correction, sans passer par un humain. Une…
Applications, API et outils IA du quotidien
Plutôt que de relire du code pour traquer les bugs, ce nouvel agent de Mistral en démontre formellement la correction, sans passer par un humain. Une…
Anthropic lance une offre dédiée aux petites et moyennes entreprises, avec des intégrations natives dans les outils qu'elles utilisent déjà au…
Après Claude Code qui s'est imposé dans le développement logiciel, Anthropic présente Claude Science, une version de son LLM taillée pour les…
xAI franchit une étape importante dans sa distribution cloud : Grok 4.3 est désormais accessible en disponibilité générale sur Amazon Bedrock,…
OpenAI déploie deux mises à jour pour ses offres professionnelles : un sélecteur de modèle retravaillé et une console d'administration dédiée aux…
Anthropic a déployé le 29 juin deux fonctionnalités destinées aux entreprises les plus prudentes : une vérification obligatoire des appareils avant…
Google DeepMind ouvre l'accès général à gemini-embedding-2, son modèle d'embeddings de nouvelle génération. La nouveauté qui retient l'attention : la…
Google lance Antigravity 2.0, une application desktop standalone pensée pour orchestrer des agents IA en parallèle au sein des équipes enterprise. Un…
Google Cloud dévoile une plateforme de défense cyber pilotée par l'IA, combinant les renseignements de Mandiant, les modèles DeepMind et Gemini 3.5…