The speaker thinks there is probably value in generating proofs without requiring them to be interpretable.

“There's utility probably in the generation of proofs that are not constrained by our desire for interpretability. But once you talk about like doing actual mathematics, like that's, I'd like, I still like to think that, you know, the human understanding is still center in this.”