Their engineers & researchers are not 3rd rate and they have enough compute and cash flow. I think the USAMO/math comp benchs means it's pretty good and SOTA but not like a step change.