Cutting-edge Chinese “reasoning” model rivals OpenAI o1—and it’s free to download

The cool thing about this is that they also published a bunch of details about their approach, as well as tooling around it!

so what of its reasoning? can it deduce? can it follow specific logic/equations in mathematical notation or in plain language?