logoalt Hacker News

red75prime • yesterday at 5:45 PM • 1 reply • view on HN

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

Replies

YeGoblynQueenne • yesterday at 5:48 PM

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

➕ show 1 reply