4 ms·
I mean, they're verified in the sense that the lean proof checks out... and presumably OpenAI read them.
by gpm 2mo ago
I mean, they're verified in the sense that the lean proof checks out... and presumably OpenAI read them.
- deleted 2mo ago[deleted]
- doctorwho42 2mo agoOr 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.