在Lex Fridman的播客对话中，对话者提出：在推理规则和公理数量有限的约束下，产生人类不可理解的数学的唯一途径几乎就是规模。