タオはあくまで今までの数学の枠組みの中の論理を
駆使して個別の難問を解決するタイプで、問題を解く新しい
革新的アプローチ法を考案するタイプではないような気が
するのですが、どうでしょう？