An unreleased Anthropic model made progress on one of math's biggest unsolved