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