On the other hand here we have an amateur that could accelerate their learning and experimentation faster than ever possible before.
I don't know if this necessarily qualifies as "accelerating their learning". The user appears to know what the proof is doing, but not how or why.
I don't know if this necessarily qualifies as "accelerating their learning". The user appears to know what the proof is doing, but not how or why.