Or they made another LLM 'read' them?

> You are an expert in the field of mathematics, with decades of experience. You are a reviewer of proofs, etc etc.etc.