AI solves Erdos problem #728 (Terence Tao mathstodon post) (opens in new tab)
<p><a href="https://news.ycombinator.com/item?id=46560445"><img style="vertical-align: text-bottom;" src="https://progscrape.com/static/v0-da0b6a4ec3137bb969a2f4584c83abd9e0decf61eb908173f57f2a27a8a7fd81.png" width="16" height="16" /> hacker news</a></p><p>Tags: <span class="tag"><a href="https://progscrape.com/?search=mathstodon.xyz">mathstodon.xyz</a></span> <span class="tag"><a href="https://progscrape.com/?search=ai">ai</a></span></p>
Read the original article