AI just proved Erdos Problem #124
241 points by nl 7 days ago | 98 comments
https://twitter.com/vladtenev/status/1994922827208663383
  • ares623 6 days ago |