С ТРИЗом и его фанатами знаком.
Вещь хорошая, но это скорее оптимизация поиска, а не способ создания концепций.

Иначе бы машины давно бы передоказали все престижные недоказанные теоремы и нерешённые математические проблемы. Там же в математике всё предельно формально на уровне постановки. А вот доказательств....
Казалось бы - бери ТРИЗ и - вперёд! Ан нет!....

Со 2 и 3 пунктом согласен, об этом и написал в предидущем посте.