Ask HN：OpenAI 椭圆曲线模性论文的 Lean4 证明代码是否公开？

有用户在 Hacker News 询问 OpenAI 近期论文《Modularity of elliptic curves over imaginary quadratic fields》的 Lean4 证明代码是否已发布，称在 OpenAI 的 GitHub 上未能找到。该帖请求提供代码链接，目前原文未给出 OpenAI 是否公开该 Lean4 代码的答复。