E erdosproblems.com AI just proved Erdos Problem #124 https://twitter.com/vladtenev/status/1994922827208663383 242 points nl 11 months ago 98 comments
