Die "Zukunft von Quant"? Ich habe gerade #Aristotle von @HarmonicMath verwendet, um die Volatilitätslächelspeichervermutung zu formalisieren. Der Beweis der Erfüllbarkeit ist grundlegend, aber die Tatsache, dass wir jetzt finanzielle Theoreme "codieren" können, ist ein Game Changer. #QuantFinance #FormalVerification #AI