Anthropic asked an unreleased research version of Claude to take a run at the Riemann hypothesis, it was unsuccessful, but the model did improve a well-known related result; the proven lower bound on the proportion of zeros that lie on the critical line.