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

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

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

Points: 336

# Comments: 203