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

  • @A_AOP
    link
    English
    110 months ago

    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