ナビエストークス予想も解かれたようだし凄い時代になったね
今後は数学の問題を解くことはALに任せることになりそうだね
しかもその検証もAIがすることになりそう
これからの数学者の仕事は数学者同士のコミュニケーションだけかも