Verified Riemann Zeta in Lean: https://github.com/davegoldblatt/openai-zeta-proof-check
What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?
alt Hacker News
What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?