AIに数学の定義や証明を説明させるだけでなく、自分で再構築するための学習術。定義カードや検証票など、数学科・理工系の学生がAIを活用して数学を独学する際のステップと、Leanを活用した証明の検証手法を解説します。