Hacker News new | ask | show | jobs
by nottorp 161 days ago
So what did the "AI" actually do?

Translate an informal description of the proof into this Lean?
1 comments
dpe82 161 days ago
TFA says ChatGPT wrote the informal description.
link