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 danielbln on Sunday January 18, 2026 @05:43AM (#46666671)
The goal posts are strapped to skateboards these days, and the WD40 is applied to the wheels generously.
[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by sampullman on Sunday January 18, 2026 @07:51AM (#46667434)
Regular WD40 should not be used as bearing lubricant!
[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by danielbln on Sunday January 18, 2026 @07:58AM (#46667472)
Exactly!
[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by glemion43 on Sunday January 18, 2026 @03:03PM (#46671603)
I don't get your pessimism...

Nothing of it was even imaginable and yes the progress is crazy fast.

How can you be so dismissive?

[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by danielbln on Sunday January 18, 2026 @03:06PM (#46671623)
You misread my comment.
[ Parent | on HN ]
Re:Erdos 281 solved with ChatGPT 5.2 Pro by glemion43 on Sunday January 18, 2026 @04:02PM (#46672127)
You mean like a small rocket build? Okay :)
[ Parent | on HN ]