News for hackers. Stuff that matters.

A comment on Erdos 281 solved with ChatGPT 5.2 Pro. Parent comment

Re:Erdos 281 solved with ChatGPT 5.2 Pro by CGamesPlay on Sunday January 18, 2026 @01:40AM (#46665356)
> 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.

[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by yosefk on Sunday January 18, 2026 @02:53AM (#46665715)
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.
[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by falcor84 on Sunday January 18, 2026 @10:50AM (#46668771)
It's about formalization in Lean, not peer review
[ Parent | on HN ]