人工智能解决了埃尔德什问题#728 (陶哲轩Mastodon帖子)

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

原始链接: https://mathstodon.xyz/@tao/115855840223258103

要使用 Mastodon 网页应用程序，请启用 JavaScript。或者，尝试为您的平台使用 Mastodon 的原生应用程序。