☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 17 days agoScam Altman says it’ll take another year before ChatGPT can start a timer. An $852 billion company, ladies and gentlemen.gizmodo.comexternal-linkmessage-square28linkfedilinkarrow-up11cross-posted to: programmer_humor@programming.dev
arrow-up11external-linkScam Altman says it’ll take another year before ChatGPT can start a timer. An $852 billion company, ladies and gentlemen.gizmodo.com☆ Yσɠƚԋσʂ ☆@lemmy.ml to Programmer Humor@lemmy.mlEnglish · 17 days agomessage-square28linkfedilinkcross-posted to: programmer_humor@programming.dev
minus-square☆ Yσɠƚԋσʂ ☆@lemmy.mlOPlinkfedilinkarrow-up0·17 days agoI 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
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