On Monday, Anthropic announced that an as-yet-unreleased model made significant progress on the Riemann hypothesis, a major unsolved mathematical problem for over 150 years with a $1 million bounty. The AI model significantly increased the lower bound of solutions for which the hypothesis holds true, with the finding confirmed by Anthropic's in-house mathematicians.