＞結び目不変量同士の関係性をAIで見出し

ここだね、AIを使ったのは。
多変量解析ってのはAIの基本になってる手法だが
膨大なデータをAIに処理させて「ある数学対象量」と
「別の数学対象量」の間の相関性を推論させる。

相関性がありそうなら、それを結ぶ数学的な論理性を
模索してみる。 そんな流れで定理を見出したんじゃねえの？