"Tương lai của Quant"? Chỉ vừa sử dụng #Aristotle bởi @HarmonicMath để chính thức hóa Giả thuyết Ký ức Đường cong Biến động. Bằng chứng về tính khả thi là cơ bản, nhưng thực tế rằng chúng ta giờ đây có thể "lập trình" các định lý tài chính là một bước ngoặt. #QuantFinance #FormalVerification #AI