
0/ Habang lumalaki ang kapangyarihan ng mga sistema ng AI, ang pormal na pag-verify—na ang disiplinang gumagamit ng matematika upang patunayan ang kawastuhan ng mga computer program—ay ipinapakita ang mas maraming pag-asa. Isang guest thread ni @big_tech_sux, lead developer ng @vyperlang 🧵 https://t.co/3T6H76AVrL
