标题：上海AI实验室版o1已上线！数学题、Leetcode全拿下，还会玩24点 国产o1新选手登场！它能快速解决更复杂的数学解题、代码编程、数字游戏等任务。这就是上海AI实验室版o1——强推理模型书生InternThinker，现已正式开放试用！ 新模型不仅在长思维能力方面有了很大提升，还能在推理过...