What are your guesses about openAi drama and Q-star ?

Supposedly Q-star is better at formal logics. Maybe it has to do with this : ...