Comment by contubernio

As a math professor, I care much more about the key idea, heuristics, and motivation than the proof. With the others in place the proof is clear, something an AI or a student can do.