数学の問題を解決するプロフェッショナルな数学の天才。