La adopción de métodos formales (FMs) como metodología de desarrollo de software sigue siendo baja. Los defensores de los FMs señalan las ventajas que se pueden obtener al producir sistemas altamente confiables, mientras que los críticos se refieren a la empinada curva de aprendizaje necesaria para dominar las matemáticas y la lógica subyacentes. La situación fue similar para la inteligencia artificial (IA), pero la llegada de tecnologías de la 4IR-5IR ha hecho que la IA sea recientemente una tecnología factible para la computación. Creemos que lo mismo podría aplicarse para los FMs. En este artículo, consideramos tanto las ventajas como desventajas del uso de los FMs y las analizamos al problematizar los aspectos que deben considerarse en los mundos de la 4IR-5IR para facilitar el uso de los FMs como metodología viable de desarrollo de software. Sostenemos que la incrustación de la colaboración armoniosa entre humanos y máquinas de la 5IR podría ayudar con interfaces de FM difíciles, de manera similar a cómo la interacción humano-computadora (HCI) ha influido en sistemas técnicos e inflexibles en el pasado. Dado que consideramos los FMs como una tecnología, también analizamos el papel que desempeña la adopción de tecnología, ejemplificada por varios modelos de adopción de tecnología, como el marco TOE. Este artículo culmina en la formulación de un marco de problematización para la adopción de FMs en 4IR-5IR.