184
Scam Altman says it’ll take another year before ChatGPT can start a timer. An $852 billion company, ladies and gentlemen. (gizmodo.com)
submitted 4 months ago by to c/programmerhumor@lemmy.ml
31 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] [S] 6 points 4 months ago

I mean that's basically the idea behind neurosymbolic AI, have the LLM deal with natural language input, convert it to a formal spec, and give it to a symbolic engine to execute https://arxiv.org/abs/2305.00813

  • permalink
  • fedilink
  • source
  • parent