Midas lève 10 millions de dollars auprès d'investisseurs de Tesla et OpenAI pour vérifier mathématiquement l'IA