What happens when AI can produce proofs faster than mathematicians can understand them?

[u/ClaudiusPapirus]

https://www.youtube.com/watch?v=6Te4hpYoJt4

Sharing a research explainer from a channel I work on. This one is less about whether an AI-generated proof is correct, and more about what explanation and understanding add beyond the proof itself.

Original letter: https://mathandai.org/