I kinda hate the hard statement that AI "proved" something, when no expert human actually had a chance to look and digest properly the so-called "proof". IMO this whole proof-dump looks like a publicity stunt; just imagine that you have access to a very potent tool, and you strongly believe that it is capable of tackling problems of QRH level, why would you dump hundreds of hard proofs targeted at different areas, rather than focusing on a couple of problems, verifying the bits on the go with experts? It is almost like a company that was caught doing loud yet somewhat empty statements previously, once again is trying to hit the biggest PR coverage rather than trying to cooperate with mathematicians to actually solve those problems.