闭包之内，仍有新数学

从 AI 数学研究的最新进展出发，借助演绎闭包、证明超图与证明复杂度，讨论闭包之内为何仍会产生新的数学知识。