En bref: Salesforce investit en Suisse, l’UIT encadre l’IA agentique, Mistral publie un modèle de preuve
Entre deux gros titres, plusieurs actus ont retenu notre attention cette semaine sans faire l’objet d’un article. En voici un aperçu.
Salesforce dit vouloir investir 1 milliard en Suisse
Salesforce dit avoir l’intention d'investir 1 milliard de dollars en Suisse sur cinq ans pour accélérer l’IA agentique. Présentée par Marc Benioff avant le sommet AI for Good de Genève, l’investissement devrait permettre de soutenir les équipes locales de l’éditeur, ses clients et partenaires, ainsi que le développement des compétences professionnelles et IA. Salesforce a précisé servir plus de 1000 clients suisses.
L’UIT lance un groupe sur la confiance dans l’IA agentique
Dans le cadre du sommet AI for Good, à Genève, l’UIT a annoncé un groupe de travail sur la confiance et l’identité pour les humains et l’IA agentique. L’initiative a pour objectif d’élaborer des cadres pour l’identité numérique, l’interopérabilité, la sécurité et le contrôle humain. Une première réunion est prévue à Paris en novembre 2026.
Mistral AI publie Leanstral 1.5 pour la vérification formelle
Mistral AI a levé le voile sur Leanstral 1.5, un modèle sous licence Apache-2.0 servant à aider à écrire, vérifier et corriger des preuves mathématiques et du code en Lean 4. Selon l’entreprise, il peut aussi être utilisé sur du code réel pour formuler des propriétés à vérifier et repérer des erreurs.
L’actualité IT en Suisse et à l’international, avec un focus sur la Suisse romande, directement dans votre boîte mail > Inscrivez-vous à la newsletter d’ICTjournal, envoyée du lundi au vendredi!
