Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Paracompact
27 days ago
|
parent
|
context
|
favorite
| on:
OpenAI’s Navier-Stokes release included a Lean 4 f...
With less confidence, yes. If anything, scaling detriments exceed the scaling benefits when it comes to large formalizations.
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
