Institutional Capacity & Function Transfer

[DD+TCR] Axiom transferred the Stacks Project's roughly 7,500 pages into a reusable 16M-line Lean library as AI-generated mathematics outpaces human refereeing capacity.

[DD+POD] Distributed LLM-assisted bug discovery pushes PostgreSQL release-branch fixes from 724 to 1,169; human review remains mandatory as version 19 slips beyond its decade-long release window.

[DD+POD] Axiom transferred checking of a classification proof spanning thousands of journal pages into a public Lean project, finding a flawed published step during formalization.

[DD] Wikipedia's volunteer cleanup effort added model-based citation checking as editors confronted genuine sources attached to unsupported claims.

[DD+POD] UC Berkeley Fields medalist Richard Borcherds stopped grading homework for correctness because AI use is now unavoidable; r/opensource moderators banned projects that use, are made by, or serve AI and excluded non-English speakers, projects under a year old, and solo developers.

[DD+TCR] Decomp.dev announced closure as AI accelerates years-long game reconstruction and forks finish volunteers' work; its human-effort tracking and attribution system can no longer distinguish project origins.

[DD+POD] Cambridge mathematicians used ChatGPT to flag prose-to-Lean discrepancies, then checked them manually over roughly two weeks against OpenAI's reported 88-hour proof-generation run.

[DD+POD] Caltech and AIM are building mathematical absorption infrastructure: linked conjectures, parallel approaches, contribution records and Lean conversion, with a prototype due in months.

[DD+POD] HackerRank launched Chakra after 500,000+ trial interviews, automating repository-based questioning of candidates' reasoning as AI makes finished coding artifacts easier to produce.

[DD+POD] Google paused new OSS bounty product-vulnerability reports on October 1 because automated submissions were mostly invalid, narrowing paid independent research access until a promised Q1 2027 update.

[DD+POD] arXiv capped every submitter at two papers per month after monthly submissions doubled in two years to over 40,000, with volunteer moderators overwhelmed and AI-assisted drafting cited as a driver of the volume.

[DD+TCR] OpenAI turned ChatGPT into a software discovery and distribution surface with an app marketplace of 30+ partners, a "Sign in with ChatGPT" credential, and office-suite tools, aiming at the discovery and payment functions app stores have historically tolled.

[DD+POD] The New York Times began testing AI-generated search summaries built from its own reporting, with the Times Guild calling the paper's AI policies meaningless and demanding mandatory human oversight plus a 22.5% share of AI training-licensing revenue for unionized staff.