As AI Solves Difficult Problems, What Do Humans Learn? — Reflecting on the Announcement of 'Over 100 Solutions'

AI is solving long-unsolved mathematical problems one after another. This news brings a sense of expectation that science is ...