Supposedly Q-star is better at formal logics. Maybe it has to do with this : …
You must log in or # to comment.
Any update? It seems that the hype did die down.
I don’t have any thing new … unless maybe the following is related :
OpenAI wants to raise 5-7 trillion dollars. Yes, Trillion https://lemmy.world/post/11777054
The Future of Machine Learning: A New Breakthrough Technique (MLC)
https://lemmy.world/post/7611861Preliminary experiments reported in Supplementary Information 3 suggest that systematicity is still a challenge, or at the very least an open question, even for recent large language models such as GPT-4. https://www.nature.com/articles/s41586-023-06668-3
