実力は数学オリンピック予選通過レベル、AIの主役「論理推論モデル」を検証