AI just proved Erdos Problem #124erdosproblems.com242 pointsnl7 months agohttps://twitter.com/vladtenev/status/1994922827208663383