Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
acomar
35 days ago
|
parent
|
context
|
favorite
| on:
Sharing AI progress in mathematics
the json file next to the problem statement in lean says the solution starts here:
https://github.com/openai/math/blob/main/lean/OAI/Combinator...
the proof is probably split over the constructions in the whole directory.
jboggan
34 days ago
[–]
Aha, thank you, this makes more sense now.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
the proof is probably split over the constructions in the whole directory.