Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, 그리고 Adam Topaz는 Kevin Buzzard의 블로그에 “How to Formalize All of Mathematics”라는 제목의 블로그 게시물을 작성했습니다. 이 게시물은 최근 수학 문헌 전체를 자동으로 형식화하려는 제안에 관한 것입니다. 형식 수학에 관한 문제는 비형식 [...]에 관한 문제와 유사합니다.