Добрый день, Влад.
На текущий момент наиболее распространённо использование систем-ассистентов, которые помогают людям на каких-то этапах и сокращают их труд в проведении доказательств.
Я не видел упоминание теорий категорий в математических доказательствах и на мой взгляд ещё несколько лет (5 лет), она не будет применяться при проверке математических доказательств.
Больше информации об этой теме можете подчерпнуть здесь