Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sebzim4500
16 days ago
|
parent
|
context
|
favorite
| on:
Three new discoveries in mathematics, computer sci...
They do that to make it easier for readers to verify the statement (which is entirely contained in that file) separately from the proof (which is spread over thousands of files and github can't even show them all).
Proof is at
https://github.com/openai/math/tree/main/lean/OAI/Algorithms...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Proof is at https://github.com/openai/math/tree/main/lean/OAI/Algorithms...