OpenAI researchers reveal how their experimental model, devoid of any external aids, powered through hours-long proofs to ...