As of: 2026-10-09 19:24 CEST. Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz. Canonical page: https://postcutoff.com/posts/18/ # Posts that mattered, page 18 833 posts by 547 authors: the X posts, essays and blog posts our events cite, newest first. Page 18 of 18. We keep a copy of each post’s text: 818 archived, 11 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. ## 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/17/