Loading Open Internet
    OpenAI's Proof For Non-Sofic Groups Was Wrong (Sort Of)