Erdos 281 solved with ChatGPT 5.2 Protwitter.com
195 points by nl 7 hours ago | 162 comments