"몇 달 전, Damek Davis와 저는 SAIR Foundation에서 첫 번째 수학적 도전을 시작했습니다. 이 도전은 보편 대수학에서 2200만 개의 문제를 해결하는 능력을 압축된 형태로 "정제"하는 것을 목표로 했습니다. 그 도전의 1단계가 이제 완료되었으며, 참 또는 거짓을 추측하기 위한 몇 가지 효과적인 "치트 시트"가 생성되었습니다 [...]"