Anthropic employee Jarred Sumner used the Claude app on his phone to try to solve the infamous Riemann hypothesis. The model didn't succeed, but it made a related finding that one Stanford number theorist has called the most impressive result that AI has produced in math so far. Sumner's formal mathematical education ended after just one semester of high-school geometry, and he identifies as very much not a mathematician. Most of the prompting he gave to the model was variations of 'keep going' and 'believe in yourself'.