据 OpenAI 称，其下一代模型在数学和理论计算机科学领域的 10 个长期未决开放问题上取得了突破。在 GPT-5.6 Sol API 的费率下，该突破的计算成本约为 2,000 美元的代币费用。突破涵盖球面装箱、编码理论、群论、量子复杂性、格密码学以及极值组合学，包括证明非所索（non-sofic）群的存在，以及在高维球面装箱界限上实现指数级改进。OpenAI 计划发布手稿、供数学家审阅的形式化 Lean 证明证书，以及推理轨迹。