OpenAI's October 6 release shares AI-generated results on open research problems, alongside manuscripts and computer-checkable proofs for public scrutiny.