Hacker News new | ask | show | jobs
GPT-5.4 pro solves erdos problem #1196 (erdosproblems.com)
4 points by larve 59 days ago