A mathematician announced that he used one of Anthropic's A.I. models to find a counterexample to a problem called the ...