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 falcor84 on Sunday January 18, 2026 @10:50AM (#46668771)
It's about formalization in Lean, not peer review
[ Parent | on HN ]

There are no comments on this comment yet.