Formalization of the OpenAI Proof Withdrawal

(github.com)

2 points | by dnautics 5 hours ago ago

1 comments

  • dnautics 5 hours 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"