How well did Manifold predict GPT-4? — LessWrong