6A programming language for libraries translated to all the others (opens in new tab)(github.com)1cod1r2mo ago0
8“Erdos problem #728 was solved more or less autonomously by AI” (opens in new tab)(mathstodon.xyz)619cod1r2mo ago363
