AI solves Erdos problem #728 (Terence Tao mathstodon post)
Link:
Discussion:
Mathstodon
Terence Tao (@tao@mathstodon.xyz)
Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved mo...
“Erdos problem #728 was solved more or less autonomously by AI” | Hacker News





