“Erdos problem #728 was solved more or less autonomously by AI”

8 days ago mathstodon.xyz

Story Summary Story

Last updated: 8 days ago

To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the native apps for Mastodon for your platform.

Generating comment summary... This may take a moment.