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
I use Claude Code inside VS Code, and four things kept getting in my way:1. I couldn't send Claude my Markdown Editor selection, or a file I had open as a preview. 2…
I'm trying to recover my Google account. I know the password, but unfortunately I've lost access to the phone number where Google keeps trying to send the verification…
As AI-generated code expands across production systems, provenance becomes essential for tracing where each change originated, which model or prompt influenced it, and…
Discussion (0)
No comments yet. Start the conversation!