← Back to context

Comment by nottorp

1 day ago

So what did the "AI" actually do?

Translate an informal description of the proof into this Lean?

1 comment

nottorp

Reply

dpe82 1 day ago

TFA says ChatGPT wrote the informal description.