How dare you question the rigor of the venerable LLM peer review process! These ... | Hacker News

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

		yosefk 48 days ago \| parent \| context \| favorite \| on: Erdos 281 solved with ChatGPT 5.2 Pro 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 48 days ago [–]

It's about formalization in Lean, not peer review

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