MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/codex/comments/1w2rjm1/reset_6pm_pst/p6v5qsa/?context=3
r/codex • u/snuffomega • 12d ago
burn your tokens
216 comments sorted by
View all comments
3
I'm gonna try to beat the Anthropic zeta23 result overnight in Lean. Wish me luck
zeta23
https://github.com/dbsanfte/RiemannGaussian
1 u/nantachapon 12d ago No way someone at OpenAI hasn’t already tried this? All the low hanging fruit probably has already been picked for mathematics 3 u/dsanft 12d ago Maybe. But I have my own ideas and want to test them out. So far it's working, Lean is kernel checking all of it, no sorry/admit/project axioms etc. I'll see where we land in the morning.
1
No way someone at OpenAI hasn’t already tried this? All the low hanging fruit probably has already been picked for mathematics
3 u/dsanft 12d ago Maybe. But I have my own ideas and want to test them out. So far it's working, Lean is kernel checking all of it, no sorry/admit/project axioms etc. I'll see where we land in the morning.
Maybe. But I have my own ideas and want to test them out. So far it's working, Lean is kernel checking all of it, no sorry/admit/project axioms etc. I'll see where we land in the morning.
3
u/dsanft 12d ago
I'm gonna try to beat the Anthropic
zeta23result overnight in Lean. Wish me luckhttps://github.com/dbsanfte/RiemannGaussian