AI 辅助数学证明的可信度与可验证性之问

rand_longevity 提出一个 AI 圈热议的问题：人们是否应信任一项没有任何人类完全理解的数学证明。该问题聚焦 AI 辅助数学证明的可信度与可验证性，但正文未提供具体证明案例、验证方法或模型信息。