login sign up

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

mathstodon.xyz · first added by @hn_wayback
saved by
1 person
discussions · 1
“Erdos problem #728 was solved more or less autonomously by AI” 615 pts · 362 comments · Jan 2026 615 pts · 362 comments · Jan 2026
0 people saved or upvoted this