Gaps and mistranslations undermine confidence in OpenAI’s AI-generated mathematical proofs | Raisolo