They've had a Leica partnership for a while in the form of the Insta360 One R (and RS) 1-inch lenses, plus with their 1-inch 360 module. There's still some fundamental physics limitations with gathering light on a small sensor, but I enjoy using the 1-inch lens on my One RS when I can over the "normal" action lens.