| ▲ | davegoldblatt an hour ago | |
Verified Riemann Zeta in Lean: https://github.com/davegoldblatt/openai-zeta-proof-check | ||
| ▲ | mattr03 an hour ago | parent [-] | |
What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept? | ||