Ai for math, Ai for formalization, Ai for math theory discovery

我自己已經做過一些研究，想聽聽正在讀的人的看法。這個學門反而在歐洲有些很出彩的，甚至比美國更興盛，是否去歐洲更好？可以分享實驗室氣氛、導師的信息嗎？若您沒有強數學背景，怎麼申請到的？