Solution attempts from our model: https://cdn.openai.com/pdf/a430f16e-08c6-49c7-9ed0-ce5368b71d3c/1stproof_oai.pdf
OpenAI shares its model's solution attempts for the 1stproof challenge
AISummary
Jakub Pachocki, owner of the OpenAI account, shared a PDF of solution attempts produced by OpenAI's model. The post links to the document but gives no further details on the problems, results, or methods.
Post on XView on X
Source: Jakub Pachocki · x.comPublished · added here