AIが人類未発見の方程式を発見したりしないのかなぁ(;´Д`)