Crusoe 首席执行官：OpenAI 尚未发布的新模型旨在解决数学问题。