Midas, une entreprise fondée par une équipe de mathématiciens de renommée mondiale, vient de faire son lancement public après avoir levé 10 millions de dollars, principalement auprès de Valor Equity Partners et Nova Global. Soutenue par des investisseurs ayant participé au développement d’OpenAI, Tesla et SpaceX, Midas s’impose comme une pionnière dans la création d’une infrastructure mathématique pour garantir la fiabilité et la sécurité des systèmes d’intelligence artificielle. L’entreprise est portée par 11 médaillés de l’Olympiade internationale de mathématiques (IMO) et de l’Olympiade internationale d’informatique (IOI), les concours académiques les plus sélectifs au monde, avec des expériences dans des géants technologiques comme Jane Street, Google, AWS, NVIDIA et Mercor, ainsi que des formations aux institutions prestigieuses : Stanford, MIT, Cambridge, Princeton et Duke. Leur mission : transformer l’IA d’un système basé sur la plausibilité à un système fondé sur la preuve mathématique. « L’IA moderne produit des réponses fluides et convaincantes, mais ne peut pas prouver leur exactitude », souligne Shalim Monteagudo-Contreras, président et co-fondateur de Midas. « Nous construisons une barrière entre les sorties probabilistes et les systèmes du monde réel. Nous imposons la correction par la mathématique : les résultats ne sont pas supposés, discutés ou espérés, mais prouvés avant d’être autorisés. » Selon Renzo Balcazar, CEO et co-fondateur, « l’intelligence artificielle est la première forme d’intelligence à être déployée à grande échelle sans boucle de preuve ». Il critique l’ère actuelle où la cohérence est confondue avec la correction, la fluidité remplaçant l’évidence, et la confiance remplaçant la vérité. Midas introduit la vérification formelle dès la conception des systèmes, plutôt que de détecter les erreurs après coup. Cette approche, fondée sur des preuves mathématiques, permet de garantir la fiabilité des sorties, des données et du raisonnement des IA dans des domaines critiques. L’entreprise vise des secteurs comme la biotechnologie, la défense, la conception de matériel, les systèmes financiers et l’infrastructure sous-jacente de l’IA et du cloud, où toute erreur est inacceptable. « Chaque couche de l’écosystème IA a finalement exigé son propre infrastructure », souligne John Stanton, vice-président chez Valor Equity Partners. « La vérification est la dernière pièce manquante. Ce n’est pas une question de probabilités, mais de preuve. Ce qui distingue Midas, c’est une culture qui rejette les réponses « presque correctes » et n’accepte que ce qui peut être démontré. » Carlo Agostinelli, fondateur de Nova Global, considère que Shalim Monteagudo-Contreras et Renzo Balcazar agissent déjà à l’échelle d’historiens de la technologie. « Ils ont construit une équipe exceptionnelle et attaquent l’un des défis fondamentaux de l’IA : la confiance. Leur approche preuve-native est à la fois techniquement ambitieuse et parfaitement alignée avec un besoin du marché. » Midas n’est pas une simple évolution produit, mais une correction structurelle nécessaire pour assurer la fiabilité de l’IA à l’ère de l’automatisation. Pour en savoir plus, rendez-vous sur trymidas.ai.