AIがミレニアム問題解いてたのか…
なんかいよいよな感じするな