Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sincerely
89 days ago
|
parent
|
context
|
favorite
| on:
“Why not just use Lean?”
I think they're talking about conjectures that are unproven but seem "likely true" and people build further math off the assumption. E.G Reimann hypothesis
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: