I think it's reasonable to ask whether LLMs formalize theorems correctly. And I'... | Hacker News

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

oh_my_goodness 5 months ago | parent | context | favorite | on: “Erdos problem #728 was solved more or less autono...

I think it's reasonable to ask whether LLMs formalize theorems correctly. And I'm not sure that saying "this one is easy" answers that question.

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