Cutting-edge open-weights reasoning model delivering world-class mathematics, coding, and logical problem-solving.