O "Futuro do Quant"? Acabei de usar #Aristotle por @HarmonicMath para formalizar a Conjectura da Memória do Sorriso da Volatilidade. A prova de satisfatibilidade é básica, mas o fato de que agora podemos "codificar" teoremas financeiros é um divisor de águas. #QuantFinance #FormalVerification #AI