最近、AIがミレニアム問題を解いてしまったことで数学界が激切れらしいね