Erdos problem #728 was solved more or less autonomously by AI
Published: (January 9, 2026 at 05:39 PM EST)
1 min read
Source: Hacker News
Source: Hacker News
Article Details
- Article URL: https://mathstodon.xyz/@tao/115855840223258103
- Comments URL: https://news.ycombinator.com/item?id=46560445
- Points: 129
- Comments: 67