河野玄斗とかも大量の解法データベースから適切な解法を選んで解いてるだけやからね
その精度と情報蓄積量がエゲツないから理三行くわけやが、数学の天才というわけではない
大学数学とはちゃうんよな