数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価 | Forbes JAPAN 公式サイト（フォーブス ジャパン）