数学家格兰特·桑德森认为，证明只是衡量数学进步的代理指标，真正目标是增进人类理解。AI能自动生成证明时，应重视有动机的解释，即说明想法来源与定义理由。他建议给予这类工作学术认可，并将未解阐述问题视同未解研究问题，以纠正外界对数学家价值的误解。