Robinhood CEO'su Vlad Tenev, iki yıl içinde tüm yazılımların testlerle yetinmeyip matematiksel olarak da kanıtlanacağını öngördü. Öngörünün arkasında, kurucu ortağı olduğu Harmonic'in doğrulama sistemi Aristotle var.
Stories on this topic, gathered from every source.