标签：高考数学题

国产中文o1大模型问世，数学竞赛题直接考验！ 昆仑万维近日发布了其最新的Skywork o1大模型，首次展示了强大的中文逻辑推理能力，并启动了邀测计划。为了测试其推理能力，我们选择了一道AIME数学竞赛题进行实测。 AIME数学竞赛题： Aya每天早晨会进行一段9公里的散步，并在一家咖啡店停留。当她以每小时s公里的速度行走时，整个过程（包括在咖啡店停留的t分钟）需要4小时。如果她以s+2公里每小时的速度行走，整个过程（包括在咖啡店停留的时间）需要2小时24分钟。假设Aya以s+1/2公里每小时的速度行走，求她在这种情况下（...