Comment by nottorp

1 month ago

So what did the "AI" actually do?

Translate an informal description of the proof into this Lean?

1 comment

nottorp

Reply

dpe82 1 month ago

TFA says ChatGPT wrote the informal description.