3 ms·
It's obviously not the future (outside of mathematics research). The whole LLM boom we've seen in the past two years comes from one single fact: peopel don't ne
by raincole 2y ago
It's obviously not the future (outside of mathematics research). The whole LLM boom we've seen in the past two years comes from one single fact: peopel don't need to learn a new language to use it.
- seizethecheese 2y agoBoth comments can be right. People don’t need to know HTML to use the internet.
- nickpsecurity 2y agoNatural language -> Formal Language with LLM-assisted tactics/functions -> traditional tools (eg provers/planners) -> expert-readable outputs -> layperson-readable results. I can imagine many uses for flows where LLM’s can implement the outer layers above.