Erdos problem #728 was solved more or less autonomously by AI

[cod1r]

Article URL: https://mathstodon.xyz/@tao/115855840223258103

Comments URL: https://news.ycombinator.com/item?id=46560445

Points: 130

# Comments: 67