![Geolocation leak using plane doppler curves [video]](https://i.ytimg.com/vi/UytYrhYLOKI/maxresdefault.jpg)
Tech
Hacker News (Newest)
Ask HN: Lean4 code for Modularity of elliptic curves ... ?
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…
Discussion (0)
No comments yet. Start the conversation!