"Quantin tulevaisuus"? Käytin juuri #Aristotle @HarmonicMath:n toimesta Volatility Smile Memory -konjektuurin formalisoimiseen. Tyydyttävyyden todistus on perustavanlaatuinen, mutta se, että voimme nyt "koodata" talousteoreemoja, muuttaa pelin. #QuantFinance #FormalVerification #AI