С автоматизированными проверщиками доказательств задачу можно разбить на мелкие части, решить по частям, а затем собрать воедино с уверенностью в правильности каждого фрагмента. Для некоторых это знаменует новую эру в математических исследованиях.