Cool stuff! I hadn't heard of RDF before and had been reinventing a subset of it lately. I'm in the process of doing what you mentioned at the end, with getting facts (and more) out of LLMs into a RDF like format!
At around 15 minutes in I also thought of Formal Logic. Very interesting to see if automated proof verification is possible and if dialectical arguments hold or not
![The Dark Matter of AI [Mechanistic Interpretability]](http://i.ytimg.com/vi/UGO_Ehywuxc/mqdefault.jpg)
THIS is what we all should be doing.
Great talk. Thanks Luke. Please get bigger than OpenAI and stay principled 🙏
Really great talk, inspire me to create my product. Wow! amazing.
Cool stuff! I hadn't heard of RDF before and had been reinventing a subset of it lately. I'm in the process of doing what you mentioned at the end, with getting facts (and more) out of LLMs into a RDF like format!
At around 15 minutes in I also thought of Formal Logic. Very interesting to see if automated proof verification is possible and if dialectical arguments hold or not
I hope he posts an update to his research somewhere
Fantastic
I have been working on something similar using jsonld
Sounds like graph rag