Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
anthk
14 days ago
|
parent
|
context
|
favorite
| on:
An OpenAI model has disproved a central conjecture...
LLM's? I doubt it. Systems with Prolog, Common Lisp and the like with proof solvers? For sure.
LLM's are doomed to fail. By design. You can't fix them. It's how do they work.
aspenmartin
13 days ago
|
next
[–]
Care to be more specific here or do you prefer to be vague and wrong
reply
karmasimida
14 days ago
|
prev
[–]
You can have a word with Terrence Tao, he had different opinions here
anthk
14 days ago
|
parent
[–]
Yeah, and Knuth, but that's a fallace of authority. Wait until the errors raise.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
LLM's are doomed to fail. By design. You can't fix them. It's how do they work.