Comment by logicchains

3 hours ago

OpenAI models seem to have been trained on a lot of auto-generated theorem proving data; GPT 5.5 is really good at writing Lean.

0 comments