1 статья затрагивает эту идею.
Статьи
ИИ, который ловит спрятанные допущения в чужих рассуждениях
Смежные понятия
Идеи, которые идут в паре с понятием «Formal Proof Assistants».