Related:

Erdos 281 solved with ChatGPT 5.2 Pro

https://news.ycombinator.com/item?id=46664631