Story

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

cod1r Friday, January 09, 2026
590 331
mathstodon.xyz
Visit article Read on Hacker News Comments 331