Top mathematicians have issued a challenge to AI systems to solve a set of unsolved mathematical problems within a week, as part of an initiative called “First Proof.” These problems are newly formulated and are not present in any large language model's training data.