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