GPT-5.4 pro solves erdos problem #1196

(erdosproblems.com)

3 points | by larve 5 hours ago ago