Matematikçi Terence Tao 18 Eylül'de SAIR'in açık matematik modeli girişimini duyurdu. Vakıf, ispat denetimi ve kaynak tarama gibi işler için açık ağırlıklı model eğitecek. Parayı XTX Markets veriyor, eğitim hedeflerini ise matematikçiler belirleyecek.