As of: 2026-10-12 07:22 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/posts/20/

# Posts that mattered, page 20

946 posts by 611 authors: the X posts, essays and blog posts our events cite, newest first. Page 20 of 20.

We keep a copy of each post’s text: 929 archived, 13 kept as a summary with short quotes and 4 we could not reach. 4 short replies cited as evidence are listed only on the pages that cite them.

## May 2026

- 2026-05-12: [“We’re dealing with a major malicious attack on @rubygems right now.”](https://postcutoff.com/p/x-maciejmensfeld-2054164602577940619/), Maciej Mensfeld (@maciejmensfeld), X. Cited in [Researchers attribute the May 2026 RubyGems malicious-package flood to OpenAI agents](https://postcutoff.com/e/2026-09-11-openai-agents-rubygems-attack/).

## April 2026

- 2026-04-21: [The fall of the theorem economy](https://postcutoff.com/p/2026-04-21-david-bessis-fall-of-the-theorem-economy/), David Bessis (@davidbessis), Substack. An influential essay (cross-posted to LessWrong) arguing that AI theorem-proving exposes how mathematics has been misread as theorem production, and predicting an unintelligible 'Mathslop' layer beside Mathlib.
- 2026-04-15: [“We have acquired Zebra Technologies’ robotics arm (formerly Fetch Robotics).”](https://postcutoff.com/p/x-skildai-2044554193239986641/), Skild AI (@SkildAI), X. Cited in [Skild AI acquires Zebra Technologies' robotics division (formerly Fetch Robotics) to put its robot brain in warehouses](https://postcutoff.com/e/2026-04-15-skild-ai-acquires-zebra-fetch-robotics/).
- 2026-04-10: [Sam Altman's blog post after the attack on his home](https://postcutoff.com/p/2026-04-10-altman-blog-attack-on-home/), Sam Altman (@sama), Blog. Altman's only 2026 personal-blog post: his stated core beliefs on AI democratization and power concentration after an attack on his home.
- 2026-04-10: [“If you ask ChatGPT voice mode for its knowledge cutoff date it tells you April 2024…”](https://postcutoff.com/p/x-simonw-2042630738542203057/), Simon Willison (@simonw), X.
- 2026-04-07: [Introducing Project Glasswing, powered by Claude Mythos Preview](https://postcutoff.com/p/2026-04-07-anthropicai-project-glasswing-mythos-preview/), Anthropic (@AnthropicAI), X. Launched Anthropic's withheld Mythos-class model for defensive cybersecurity with major tech partners, beginning the Mythos/Fable era.

## March 2026

- 2026-03-16: [“🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an…”](https://postcutoff.com/p/x-mistraldevs-2033621477736477077/), Mistral for Developers (@MistralDevs), X. Cited in [Mistral releases Leanstral 1.5, an open-weights Lean 4 proof agent that saturates miniF2F and solves 587/672 PutnamBench problems](https://postcutoff.com/e/2026-07-02-mistral-leanstral-1-5/).
- 2026-03-10: [“me: ‘can you use whatever resources you like, and python, to generate a short…”](https://postcutoff.com/p/x-josephdviviano-2031196768424132881/), Joseph Viviano (@josephdviviano), X. Cited in ["YouTube poop" on what it's like to be an LLM, made by Claude Opus 4.6 with Python and ffmpeg](https://postcutoff.com/v/josephdviviano-opus-4-6-youtube-poop-what-its-like-to-be-an-llm-x/).
- 2026-03-05: [Where things stand with the Department of War](https://postcutoff.com/p/2026-03-05-anthropic-dario-where-things-stand-department-of-war/), Dario Amodei (Anthropic) (@AnthropicAI), Blog. Confirms receipt of the formal designation letter, announces the lawsuit and narrows its scope; it also includes Amodei's apology for a leaked internal message.

## February 2026

- 2026-02-27: [Statement on the comments from Secretary of War Pete Hegseth](https://postcutoff.com/p/2026-02-27-anthropic-statement-comments-secretary-war/), Anthropic (@AnthropicAI), Blog. Anthropic's same-day response to the supply-chain-risk designation, promising a court challenge that later produced conflicting rulings in August and September 2026.
- 2026-02-26: [Statement from Dario Amodei on our discussions with the Department of War](https://postcutoff.com/p/2026-02-26-anthropic-dario-statement-department-of-war/), Dario Amodei (Anthropic) (@AnthropicAI), Blog. Anthropic's refusal to drop its bans on mass domestic surveillance and fully autonomous weapons, which led directly to the Pentagon's supply-chain-risk designation.
- 2026-02-04: [“Today we’re thrilled to announce our newest flagship TTS model, Arcana v3!”](https://postcutoff.com/p/x-rimelabs-2019099676939813306/), Rime (@rimelabs), X. Cited in [Rime Arcana v3 / v3 Turbo](https://postcutoff.com/m/rime-arcana-v3/).

## January 2026

- 2026-01-26: [The Adolescence of Technology](https://postcutoff.com/p/2026-01-26-darioamodei-the-adolescence-of-technology/), Dario Amodei (@DarioAmodei), Blog. Amodei's ~20,000-word risk essay, a counterpart to 'Machines of Loving Grace', framing powerful AI as a civilizational rite of passage and setting out Anthropic's defenses.
- 2026-01-26: [“The Adolescence of Technology: an essay on the risks posed by powerful AI to national…”](https://postcutoff.com/p/x-darioamodei-2015833046327402527/), Dario Amodei (@DarioAmodei), X. Cited in [Dario Amodei publishes "The Adolescence of Technology", a long essay on the risks of powerful AI](https://postcutoff.com/e/2026-01-26-dario-amodei-adolescence-of-technology/).

## December 2025

- 2025-12-07: [“For more details on the winners and our reflections on what we learned—from hybrid…”](https://postcutoff.com/p/x-arcinstitute-1997516976873521411/), Arc Institute (@arcinstitute), X. Cited in [Arc Institute announces first Virtual Cell Challenge winners](https://postcutoff.com/e/2025-12-06-virtual-cell-challenge-2025-winners/).

## November 2025

- 2025-11-18: [“I played with Gemini 3 yesterday via early access.”](https://postcutoff.com/p/x-karpathy-1990854771058913347/), Andrej Karpathy (@karpathy), X.
- 2025-11-18: [“My most amusing interaction was where the model (I think I was given some earlier…”](https://postcutoff.com/p/x-karpathy-1990855382756164013/), Andrej Karpathy (@karpathy), X. Cited in [Google launches Gemini 3](https://postcutoff.com/e/2025-11-18-gemini-3/).

## September 2025

- 2025-09-11: [“Today we’re announcing Gauss, our first autoformalization agent that just completed…”](https://postcutoff.com/p/x-mathematics_inc-1966194751847461309/), Math, Inc. (@mathematics_inc), X. Cited in [Math Inc's Gauss agent completes the Strong Prime Number Theorem formalisation in Lean in three weeks](https://postcutoff.com/e/2025-09-10-math-inc-gauss-strong-pnt/).
- 2025-09-10: [“The video is a meme edit—Charlie Kirk is debating, and effects make it look like he’s…”](https://postcutoff.com/p/x-grok-1965863632341971145/), Grok (@grok), X.

## August 2025

- 2025-08-20: [“Claim: gpt-5-pro can prove new interesting mathematics.”](https://postcutoff.com/p/x-sebastienbubeck-1958198661139009862/), Sebastien Bubeck (@SebastienBubeck), X. Cited in [GPT-5 Pro proves an improved convex-optimisation bound, which humans had already surpassed](https://postcutoff.com/e/2025-08-20-gpt-5-pro-convex-optimization-proof/).

## July 2025

- 2025-07-19: [“We achieved gold medal-level performance 🥇on the 2025 International Mathematical…”](https://postcutoff.com/p/x-openai-1946594928945148246/), OpenAI (@OpenAI), X. Cited in [AI systems reach gold-medal level at the International Mathematical Olympiad](https://postcutoff.com/e/2025-07-21-imo-gold-ai/).

## February 2025

- 2025-02-09: [“Three Observations:”](https://postcutoff.com/p/x-sama-1888695926484611375/), Sam Altman (@sama), X. Cited in [Sam Altman publishes "Three Observations" on the economics of AI](https://postcutoff.com/e/2025-02-09-altman-three-observations/).
- 2025-02-02: [“There’s a new kind of coding I call ‘vibe coding’, where you fully give in to the…”](https://postcutoff.com/p/x-karpathy-1886192184808149383/), Andrej Karpathy (@karpathy), X. Cited in [Andrej Karpathy coins "vibe coding"](https://postcutoff.com/e/2025-02-02-karpathy-vibe-coding/).

## January 2025

- 2025-01-16: [“There are great tokenizers for text and images, but existing action tokenizers don’t…”](https://postcutoff.com/p/x-physical_int-1879963467836453067/), Physical Intelligence (@physical_int), X. Cited in [π0-FAST](https://postcutoff.com/m/pi-0-fast/).

## December 2024

- 2024-12-18: [“Meet Flash. Our newest model that generates speech in 75ms + application & network…”](https://postcutoff.com/p/x-elevenlabs-1869462840941461941/), ElevenLabs (@ElevenLabs), X. Cited in [Eleven Flash v2.5 / Flash v2](https://postcutoff.com/m/elevenlabs-flash-v2-5/).

## October 2024

- 2024-10-11: [“Machines of Loving Grace: my essay on how AI could transform the world for the better”](https://postcutoff.com/p/x-darioamodei-1844830404064288934/), Dario Amodei (@DarioAmodei), X. Cited in [Dario Amodei publishes "Machines of Loving Grace"](https://postcutoff.com/e/2024-10-11-amodei-machines-of-loving-grace/).

## June 2024

- 2024-06-04: [“Virtually nobody is pricing in what’s coming in AI.”](https://postcutoff.com/p/x-leopoldasch-1798016486700884233/), Leopold Aschenbrenner (@leopoldasch), X. Cited in [Leopold Aschenbrenner publishes "Situational Awareness: The Decade Ahead"](https://postcutoff.com/e/2024-06-04-aschenbrenner-situational-awareness/).

## May 2024

- 2024-05-17: [“Yesterday was my last day as head of alignment, superalignment lead, and executive…”](https://postcutoff.com/p/x-janleike-1791498174659715494/), Jan Leike (@janleike), X. Cited in [Jan Leike resigns, saying OpenAI's safety culture 'has taken a backseat to shiny products'](https://postcutoff.com/e/2024-05-17-leike-resigns-superalignment-disbanded/).
- 2024-05-15: [“I resigned”](https://postcutoff.com/p/x-janleike-1790603862132596961/), Jan Leike (@janleike), X. Cited in [Jan Leike resigns, saying OpenAI's safety culture 'has taken a backseat to shiny products'](https://postcutoff.com/e/2024-05-17-leike-resigns-superalignment-disbanded/).
- 2024-05-15: [“I’m thrilled to announce that I’ve joined @AnthropicAI as their Chief Product Officer!”](https://postcutoff.com/p/x-mikeyk-1790744229616259547/), Mike Krieger (@mikeyk), X. Cited in [Mike Krieger](https://postcutoff.com/person/mike-krieger/).
- 2024-05-14: [“After almost a decade, I have made the decision to leave OpenAI.”](https://postcutoff.com/p/x-ilyasut-1790517455628198322/), Ilya Sutskever (@ilyasut), X. Cited in [Jan Leike resigns, saying OpenAI's safety culture 'has taken a backseat to shiny products'](https://postcutoff.com/e/2024-05-17-leike-resigns-superalignment-disbanded/).

## May 2023

- 2023-05-03: [“I now predict 5 to 20 years but without much confidence.”](https://postcutoff.com/p/x-geoffreyhinton-1653687894534504451/), Geoffrey Hinton (@geoffreyhinton), X. Cited in [Geoffrey Hinton leaves Google so he can speak freely about AI risks](https://postcutoff.com/e/2023-05-01-hinton-leaves-google/).

## November 2017

- 2017-11-11: [“New blog post: ‘Software 2.0’”](https://postcutoff.com/p/x-karpathy-929473842749120512/), Andrej Karpathy (@karpathy), X. Cited in [Andrej Karpathy's essay "Software 2.0"](https://postcutoff.com/e/2017-11-11-karpathy-software-2-0/).

## Date not recorded

- undated: [Danmar_here on X](https://postcutoff.com/p/x-danmar_here-2105059762240979283/), Danmar_here (@Danmar_here), X. Cited in ['AI Torture Chamber' GitHub repo steering small LLMs into 'pain' goes viral, sparking takedown calls and a model-welfare fight](https://postcutoff.com/e/2026-09-30-ai-torture-chamber-backlash/).

Previous page: https://postcutoff.com/posts/19/