Hacker News Reader

I guess it's a fraction of problems on which a model produces a LEAN proof or a counterexample.

Wouldn't they just list the number of problems solved then?

rates beat counts almost always.

You're assuming too much from a single graph with vaguely named axes.

I'll wait until there's more concrete information.