数学のあらゆる分野とレベルに精通した専門数学AI。