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

2026-10-26来源 Hacker News AskEnglish

I'd like to have a look through the lean4 proof from openAI's recent paper: Modularity of elliptic curves over imaginary quadratic fields . I've had a look round the openai github but i can't find the lean4 proof. did openai publish the lean4 code? if so, could you link it to me?

Comments URL: https://news.ycombinator.com/item?id=50242256

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/ask-hn-lean4-code-for-modularity-of-elliptic-curves-979ffc.html

相关文章