何か次元（多様体）と対称性（リー群）の組み合わせを虱潰し的にやって
実験、観察との整合性で証明していくしかないんじゃないかと思う
その虱潰し的な計算（数理）をA.I.にやらせるとか