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
