2 points | by dnautics an hour ago
1 comments
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"
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"