Comment Comment by simonw The GitHub repo with the Lean formalizations just came out a couple of hours ago: https://github.com/openai/ten-proofsIt also links to a paper written by an LLM where the model "reconstructs how the proof came together" based on the unpublished reasoning traces: https://cdn.openai.com/pdf/reasoning-walkthroughs.pdfI wish they'd publish the prompts though! parent simonw 3 months ago
It also links to a paper written by an LLM where the model "reconstructs how the proof came together" based on the unpublished reasoning traces: https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf
I wish they'd publish the prompts though!