Det er fortsatt mye å finne ut om hvordan vi integrerer oss med tankegangen til menneskelige matematikere, for bedre å fange de pedagogiske formålene med bevis, ikke bare de epistemologiske. Men jeg gleder meg til å være en del av denne reisen sammen med resten av @mathematics_inc-teamet.