OpenAI：下一代主要模型的内部版本在数学和理论计算机科学中的长期未解难题上产