Erdos 281 solved with ChatGPT 5.2 Pro

(twitter.com) by nl | Jan 18, 2026 | 0 comments on HN