The speaker still regards human understanding as central to doing mathematics, while acknowledging that this may not remain the case.

“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.”

“It may not be, but I think those are different quests at some point. It's like, can I make a machine prove stuff? Sure. But I'm interested in like understanding it, right?”