Logiciels

Productivité

L'IA peut générer des preuves mathématiques de sécurité pour les bibliothèques open-source, améliorant la vérification des logiciels et réduisant les vulnérabilités.

Disruptive • Unknown

Le fonds d'investissement basé à Dallas Disruptive a levé 10 milliards de dollars pour investir dans l'IA, la défense et les logiciels, doublant ainsi ses actifs sous gestion. L'entreprise passe des SPV à objectif unique à une structure de fonds discrétionnaire et prévoit de soutenir 10 entreprises en phase tardive avec 1 milliard de dollars chacune.

&Truth • Seed

&Truth, une startup misant sur l'IA pour rendre la vérification formelle des logiciels pratique, a été lancée avec un tour de table amorçage de 70 millions de dollars dans le cadre d'une vague de startups dans ce secteur.

Salesforce → Rune Technologies

Salesforce acquiert la startup de technologie de défense Rune Technologies, qui développe des logiciels d'logistique militaire alimentés par l'IA, pour 375 millions de dollars en actions et en espèces, selon des sources. Rune avait précédemment levé 30 millions de dollars auprès de a16z et d'autres investisseurs.