Споткнулся на соблазне давать ИИ задачи целиком, в этом случае ничего непонятно, какие-то идеи типо доказательства от противного, поиск противоречий и индукция конечно запоминаются, но в общей форме. Необходимо спрашивать ИИ конкретные вопросы, как можно менее общие, которые возникают по мере решения всей задачи.