It's smarter than DeepSeek v4 Pro (preview) on several benchmarks, like HLE.