米テックAI挑む1200の「エルデシュ問題」、解けそうで解けない数学 | FLIP NEWS