Ny ledare på PutnamBench-topplistan! Nu närmar vi oss mättnad, nästa stora mål blir att optimera kostnaden för samma bevisprestanda! Grattis till Logical Intelligence-teamet!