By Cory Doctorow (GPG 0xBF3D9110957E5F4C) @doctorow.pluralistic.net · 02/07/2026AI can do endless theorem-proving but is essentially useless for creating "library mathematics: general, reusable, coherent, efficient, and compatible with the rest." 29/ 2382
By Cory Doctorow (GPG 0xBF3D9110957E5F4C) @doctorow.pluralistic.net · 02/07/2026AI can also write a lot of running code, but the AI industry is further devaluing the already undervalued work of cleanup and canonization. As Elliott-McCrea writes, "the social production of knowledge [is] the seed corn." eof/ 2633
Michealle @micheallehammar.bsky.social · 02/07/2026And what happens when the people who have the knowledge required to mark the homework are all gone? AI checks AI bc nobody else is able to aquire the skillset with AI doing all the work? 010
J. Marshall Freeman @jmarshallfreeman.bsky.social · 02/07/2026This is sort of similar to the way that corporate-funded science is not interested in doing basic science. They want government to pay for that while they build off it and profit. 1354
