"Budoucnost kvantitativního výzkumu"? Právě #Aristotle použil @HarmonicMath k formalizaci hypotézy Volatility Smile Memory Coputure. Důkaz splnitelnosti je základní, ale fakt, že nyní můžeme "kódovat" finanční věty, je zásadní změna. #QuantFinance #FormalVerification #AI