I switched my default assistant in Kagi over to R1. It's immediately obvious how much better this one is.
Showing the thinking tokens before the answer is fully formulated makes a big difference.
Plus Kagi doesn't have o1, so I think it's the first time this latest generation of models is available on the platform?