Comment by emp17344

5 days ago

Cynically, I wonder if this was released at this time to ward off any criticism from the failure of LLMs to solve the 1stproof problems.

0 comments