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.
They accelerated zero learning. Read the blog.
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.