L'"Avenir du Quant" ? Je viens d'utiliser #Aristotle par @HarmonicMath pour formaliser la Conjecture de la Mémoire du Sourire de Volatilité. La preuve de satisfiabilité est basique, mais le fait que nous puissions maintenant "coder" des théorèmes financiers est un changement de jeu. #QuantFinance #FormalVerification #AI