Ask HN· sunshinePeanut·2026-10-26 20:00· 7 天前AI 评分5

OpenAI 代码库中寻找 Lean4 证明代码

Ask HN: Lean4 code for Modularity of elliptic curves ... ?

AI 导读

OpenAI 近期论文《虚二次域上椭圆曲线的模性》中提到的 Lean4 证明代码，用户在 GitHub 上未能找到，询问 OpenAI 是否已发布。

来源：Ask HN · news.ycombinator.com

#论文/研究 #开源/仓库