logoalt Hacker News

nottorp • yesterday at 11:08 AM • 1 reply • view on HN

So what did the "AI" actually do?

Translate an informal description of the proof into this Lean?

Replies

dpe82 • yesterday at 6:01 PM

TFA says ChatGPT wrote the informal description.