数学研究におけるAI活用のケーススタディ。最新のAIを単に信頼するのではなく、自分自身を信頼するために設計した検証手順(ハーネス)の重要性について説く個人の開発記録。