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 Davidzheng on Sunday January 18, 2026 @03:12AM (#46665810)
And we can train models specifically at math proofs? I think only difference is that math is bigger....
[ Parent | on HN ]

There are no comments on this comment yet.