So what did the "AI" actually do? Translate an informal description of the proof... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nottorp 16 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... So what did the "AI" actually do? Translate an informal description of the proof into this Lean?

dpe82 16 days ago [–]

TFA says ChatGPT wrote the informal description.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact