More interesting discussion than on Twitter here: https://www.erdosproblems.com/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		esperent 87 days ago \| parent \| context \| favorite \| on: AI just proved Erdos Problem #124 More interesting discussion than on Twitter here: https://www.erdosproblems.com/forum/thread/124#post-1892

dang 86 days ago [–]

Ok, we've changed the link to that from https://twitter.com/vladtenev/status/1994922827208663383, but I've included the latter in the toptext. Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact