¿El "futuro del cuantitativo"? Acabo de usar #Aristotle @HarmonicMath para formalizar la Conjetura de la Memoria de la Sonrisa de la Volatilidad. La demostración de satisfacibilidad es básica, pero el hecho de que ahora podamos "codificar" teoremas financieros es un cambio radical. #QuantFinance #FormalVerification #AI