I mean, they're verified in the sense that the lean proof checks out... and presumably OpenAI read them.
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.
alt Hacker News
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.