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

By sunshinePeanut · 2026-10-26 · 1 points · 0 comments

I'd like to have a look through the lean4 proof from openAI's recent paper: Modularity of elliptic curves over imaginary quadratic fields <https://github.com/openai/math/blob/main/preprints/Modularity-of-elliptic-curves-over-imaginary-quad…

Open the full discussion on BetterNews