De "Toekomst van Quant"? Ik heb zojuist #Aristotle gebruikt van @HarmonicMath om de Volatility Smile Memory Conjecture te formaliseren. Het bewijs van satisfiability is basis, maar het feit dat we nu financiële theorema's kunnen "coderen" is een game changer. #QuantFinance #FormalVerification #AI