リンク先読んでないけど数学者なんてのは紙と鉛筆と頭の中の計算と閃きだけで難問を解決するのを至上とする人たちかと思ってたよ
AI使っちゃうんだ