0/ 隨著人工智慧系統變得更強大,形式化驗證——即使用數學證明電腦程式正確性的學科——展現出越來越大的潛力。 由 @vyperlang 的首席開發者 @big_tech_sux 撰寫的 guest thread 🧵 https://t.co/3T6H76AVrL