人間の数学者の思考過程とどのように統合し、証明の教育的目的をよりよく捉えるかについてはまだ多くの課題があります。単なる認識論的な目的だけでなく。 でも、@mathematics_incチームの他のメンバーと一緒にこの旅の一員になれることにワクワクしています。