a4さんの「T」は記号処理型のAIなのかな？
数学的問題ならある程度はそれで十分かもしれないけど、現実の課題に応用しようとするとシンボルグラウンディング問題が妨げになって進めなくなる気がする
あとは、手作業で全て法則を入力するのは無理があるのでそれも自動化が必要（つまり機械学習）
この二つを考えるとニューラルネットワークとかが必要だと思う
a4さんはそれらも勉強してるって聞いたけど、「T」に実装する予定はある？