What is the yearold Millennium math problem that AI solved in hours