They regularly win olympiad mathematics up from not standing a chance and just created a novel solution to the erdos conjecture, them counting the r's in strawberry is inconsequential but also something they can do even if you just use the raw api or a local model.