Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
OrderlyTiamat
4 months ago
|
parent
|
context
|
favorite
| on:
Model intelligence is no longer the constraint for...
Nit pick, but proof by contradiction is necessarily stronger as it is deductive reasoning, and this kind of "proof" by anecdotal evidence doesn't rise above abductive reasoning. Still useful, very much not a proof.
woooooo
4 months ago
[–]
We don't have a formal model of how/why any given LLM works, and incidentally we're also short on proofs for real-world software and organizations.
Empirical facts are the strongest thing we have in this domain.
giantg2
4 months ago
|
parent
[–]
You don't need a full model. You can build deductive arguments using empirical facts to support the premises.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
