← Back to context Comment by davegoldblatt 21 hours ago Verified Riemann Zeta in Lean: https://github.com/davegoldblatt/openai-zeta-proof-check 1 comment davegoldblatt Reply mattr03 21 hours ago What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?
mattr03 21 hours ago What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?
What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?