いままで誰も証明できないような方程式っていくつかあるけど
ここ数年のAIブームでAI使って解けたのあるんかな?