OpenAI’s LLM harness solves nine theoretical CS problems, plans expansion to all scientific fields
A team of researchers used a prover-verifier pipeline pairing OpenAI's GPT-5.5 Pro with Anthropic's Claude Opus 4.8 to solve nine open problems in theoretical computer science and mathematics, including four from the Con…