Comment by jrnx

they are both, they have a different focus though. E.g. AlphaProof and AlphaGeometry 2 are "killing it" also in their fields.

But for consumers Meta seems to have a lead indeed...