You believe this based off what?
This has been the standard in the world of "AI-produces-math-proofs" for a while
Based on these people not being idiots or charlatans?
Why wouldn't they verify it, knowing that any shenanigans would certainly come to light?
This has been the standard in the world of "AI-produces-math-proofs" for a while