Super HN - Super Hacker News

Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com) 5 points by nl 52 minutes ago