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 thfuran on Sunday January 18, 2026 @03:05AM (#46665785)
Alpha go and stockfish were specifically designed and trained to win at those games.
[ Parent | on HN ]
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 ]