Re:Erdos 281 solved with ChatGPT 5.2 Pro
by threethirtytwo on Sunday January 18, 2026 @01:19AM
(#46665270)
It's a formal sarcasm piece.
[ Parent
| on HN ]
There are no comments on this comment yet.