La startup d'IA Theorem obtient 6 millions de dollars pour lutter contre les bugs logiciels générés par l'IA

La startup Theorem, basée à San Francisco, a levé 6 millions de dollars en financement de démarrage pour développer des outils automatisés qui vérifient l'exactitude des logiciels générés par l'IA, a annoncé la société le mardi 27 janvier 2026. Le cycle d'investissement a été mené par Khosla Ventures, avec la participation de Y Combinator, e14, SAIF, Halcyon et des investisseurs providentiels, dont Blake Borgesson, co-fondateur de Recursion Pharmaceuticals, et Arthur Breitman, co-fondateur de la plateforme blockchain Tezos, selon VentureBeat.

Theorem est issue de la promotion de printemps 2025 de Y Combinator. L'entreprise parie que, à mesure que l'intelligence artificielle remodèle le développement de logiciels, le prochain grand goulot d'étranglement de l'industrie sera la confiance dans le code produit par l'IA. Le financement sera utilisé pour construire des outils visant à arrêter les bugs écrits par l'IA avant qu'ils ne soient livrés.

L'investissement intervient à un moment où les assistants de codage IA d'entreprises comme GitHub sont de plus en plus répandus. Theorem vise à répondre aux risques potentiels associés à la dépendance au code généré par l'IA.

Dans d'autres nouvelles, les progrès rapides de l'IA ont un impact sur divers secteurs, notamment la visualisation des données. Selon Avalon Holographics, les humains doivent rester dans la boucle, interagir avec les données et identifier les écarts entre la simulation et la réalité à mesure que les systèmes d'IA deviennent plus puissants. L'informatique spatiale est de plus en plus partagée entre les humains et l'IA, ce qui nécessite de se concentrer sur la façon dont les humains interagissent avec les données 3D pour maximiser les avantages de l'IA, a rapporté VentureBeat.

Parallèlement, les préoccupations concernant la confidentialité des données et la dépendance aux services non européens restent pertinentes pour les opérateurs de sites web. Lightwaves.io offre un scanner gratuit pour analyser la dépendance des sites web à des services tels que Google Fonts, Analytics et les CDN, fournissant un "audit d'indépendance de l'UE", selon Hacker News. L'audit vérifie l'emplacement de l'hébergement, les polices, l'analyse, le CDN, les intégrations vidéo, les outils de chat, les widgets sociaux et les cartes. Le service souligne le risque d'invalidation du cadre de protection des données UE-États-Unis, à l'instar des accords précédents tels que Safe Harbor et Privacy Shield. Les sites web obtenant un score de 100 à l'audit sont considérés comme "à l'épreuve du temps".