GPT-5.4 pro solves erdos problem #1196

(erdosproblems.com) by larve | Apr 15, 2026 | 0 comments on HN