Thinking Machines 发布第二款模型 Inkling Small,主打效率而非规模 | RoboAIRadar