«Fremtiden for kvant»? Har nettopp brukt #Aristotle av @HarmonicMath for å formalisere Volatility Smile Memory Conjecture. Beviset for tilfredsstillbarhet er grunnleggende, men det faktum at vi nå kan "kode" finansielle teoremer er en game changer. #QuantFinance #FormalVerification #AI