AI solves Erdos problem #728 (Terence Tao mathstodon post)
To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the native apps for Mastodon for your…
#728