本文探讨了人工智能与黑箱问题的研究，分析了AI对数学知识和发现的影响，以及计算机辅助数学证明的透明性挑战和AI生成数学结果的知识论地位。

在计算机辅助证明和纯人类可读证明之间存在平衡。纯人类可读证明需要最小化计算量，而计算机辅助证明可以将验证任务外包给计算机。这两种方法都有优势，没有一种一定比另一种更好。