2 ms·
I am sure they will continue to improve just as the static-analyzers and linters are improving. But, fundamentally, LLMs lack a theory of the program as intend
by bwfan123 1y ago
I am sure they will continue to improve just as the static-analyzers and linters are improving.
But, fundamentally, LLMs lack a theory of the program as intended in this comment https://news.ycombinator.com/item?id=44443109#44444904 https://news.ycombinator.com/item?id=44443109#44444904 . Hence, they can never reach the promised land that is being talked about - unless there are innovations beyond next-token prediction.
- bunderbunder 1y agoThey do lack a theory of program. But also, if there's one consistent theme that you can trace through my 25 of studying and working in ML/AI/whateveryouwanttocallit, it's that symbolic reasoning isn't nearly as critical to building useful tools as we like to think it is. In other words, I would be wrong of me to assume that the only way I can think of to go about solving a problem is the only way to do it.