OpenAI says an internal model solved ten decades-old open problems in math and theoretical CS · cho.sh