Thinking Machines’ new model takes the lead in western open-weight AI