Formalization of the OpenAI Proof Withdrawal

 (github.com)

2 points | by dnautics 6 hours ago ago

1 comments

  • dnautics 6 hours ago ago

    This formalization of the OpenAI proof withdrawal using a LLM+Human-cooperation-optimized proof checking language I'm working on with spare Claude tokens called "2b4m"