Taoは導出過程が検証可能じゃないと数学界には意味がないといってる