¿El "Futuro de Quant"? Acabo de usar #Aristotle de @HarmonicMath para formalizar la Conjetura de Memoria de la Sonrisa de Volatilidad. La prueba de satisfacibilidad es básica, pero el hecho de que ahora podamos "codificar" teoremas financieros es un cambio de juego. #QuantFinance #FormalVerification #AI