setaレベルの知能で多様体の分類理論の話題についていけるはずない