They have lots of mathematicians. Also there is a programming language called Lean that can check the correctness of a proof. The LLMs have written Lean proofs for many of their results, so we can be pretty sure that those are correct. For the rest it will take some time for people to check them. I wouldn't be surprised if a few turned out to have subtle gaps, but also these models are so capable that they might not.