How do we know OpenAI's Astra math proofs are real?
A Lean certificate does and does not prove certain things. Here is exactly which.
Aug 6, 20267 min read18
Command Palette
Search for a command to run...
#openai
Articles tagged with #openai
Search for a command to run...