T twitter.com GPT-5.4 Pro solves Erdős Problem #1196 40 points fratellobigio 6 months ago 20 comments