> I then gave both proofs to Opus and it confirmed their equivalence. You could ... | Hacker News

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

CGamesPlay 5 months ago | parent | context | favorite | on: Erdos 281 solved with ChatGPT 5.2 Pro

> I then gave both proofs to Opus and it confirmed their equivalence.

You could have just rubber-stamped it yourself, for all the mathematical rigor it holds. The devil is in the details, and the smallest problem unravels the whole proof.

yosefk 5 months ago [–]

How dare you question the rigor of the venerable LLM peer review process! These are some of the most esteemed LLMs we are talking about here.

falcor84 5 months ago | [–]

It's about formalization in Lean, not peer review

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