Midas asegura 10 millones de dólares de inversores de Tesla y OpenAI para verificar matemáticamente la IA