Supposedly Q-star is better at formal logics. Maybe it has to do with this : …
2 points
Any update? It seems that the hype did die down.
1 point
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
1 point
*
The Future of Machine Learning: A New Breakthrough Technique (MLC)
https://lemmy.world/post/7611861
Preliminary 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