Posts that mattered

Maciej Mensfeld@maciejmensfeld12 MayX

“We’re dealing with a major malicious attack on @rubygems right now.”

Cited in Researchers attribute the May 2026 RubyGems malicious-package flood to OpenAI agents

David Bessis@davidbessis21 AprSubstack

The fall of the theorem economy

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.

Skild AI@SkildAI15 AprX

“We have acquired Zebra Technologies’ robotics arm (formerly Fetch Robotics).”

Cited in Skild AI acquires Zebra Technologies’ robotics division (formerly Fetch Robotics) to put its robot brain in warehouses

Sam Altman@sama10 AprBlog

Sam Altman’s blog post after the attack on his home

Altman’s only 2026 personal-blog post: his stated core beliefs on AI democratization and power concentration after an attack on his home.

Simon Willison@simonw10 AprX

“If you ask ChatGPT voice mode for its knowledge cutoff date it tells you April 2024…”

Anthropic@AnthropicAI7 AprX

Introducing Project Glasswing, powered by Claude Mythos Preview

Launched Anthropic’s withheld Mythos-class model for defensive cybersecurity with major tech partners, beginning the Mythos/Fable era.

Mistral for Developers@MistralDevs16 MarX

“🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an…”

Cited in Mistral releases Leanstral 1.5, an open-weights Lean 4 proof agent that saturates miniF2F and solves 587/672 PutnamBench problems

Joseph Viviano@josephdviviano10 MarX

“me: ‘can you use whatever resources you like, and python, to generate a short…”

Cited in “YouTube poop” on what it’s like to be an LLM, made by Claude Opus 4.6 with Python and ffmpeg

Dario Amodei (Anthropic)@AnthropicAI5 MarBlog

Where things stand with the Department of War

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.

Anthropic@AnthropicAI27 FebBlog

Statement on the comments from Secretary of War Pete Hegseth

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.

Dario Amodei (Anthropic)@AnthropicAI26 FebBlog

Statement from Dario Amodei on our discussions with the Department of War

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.

Rime@rimelabs4 FebX

“Today we’re thrilled to announce our newest flagship TTS model, Arcana v3!”

Cited in Rime Arcana v3 / v3 Turbo

Dario Amodei@DarioAmodei26 JanBlog

The Adolescence of Technology

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.

Dario Amodei@DarioAmodei26 JanX

“The Adolescence of Technology: an essay on the risks posed by powerful AI to national…”

Cited in Dario Amodei publishes “The Adolescence of Technology”, a long essay on the risks of powerful AI

Arc Institute@arcinstitute7 Dec 2025X

“For more details on the winners and our reflections on what we learned—from hybrid…”

Cited in Arc Institute announces first Virtual Cell Challenge winners

Andrej Karpathy@karpathy18 Nov 2025X

“I played with Gemini 3 yesterday via early access.”

Andrej Karpathy@karpathy18 Nov 2025X

“My most amusing interaction was where the model (I think I was given some earlier…”

Cited in Google launches Gemini 3

Math, Inc.@mathematics_inc11 Sep 2025X

“Today we’re announcing Gauss, our first autoformalization agent that just completed…”

Cited in Math Inc’s Gauss agent completes the Strong Prime Number Theorem formalisation in Lean in three weeks

Grok@grok10 Sep 2025X

“The video is a meme edit—Charlie Kirk is debating, and effects make it look like he’s…”

Sebastien Bubeck@SebastienBubeck20 Aug 2025X

“Claim: gpt-5-pro can prove new interesting mathematics.”

Cited in GPT-5 Pro proves an improved convex-optimisation bound, which humans had already surpassed

OpenAI@OpenAI19 Jul 2025X

“We achieved gold medal-level performance 🥇on the 2025 International Mathematical…”

Cited in AI systems reach gold-medal level at the International Mathematical Olympiad

Sam Altman@sama9 Feb 2025X

“Three Observations:”

Cited in Sam Altman publishes “Three Observations” on the economics of AI

Andrej Karpathy@karpathy2 Feb 2025X

“There’s a new kind of coding I call ‘vibe coding’, where you fully give in to the…”

Cited in Andrej Karpathy coins “vibe coding”

Physical Intelligence@physical_int16 Jan 2025X

“There are great tokenizers for text and images, but existing action tokenizers don’t…”

Cited in π0-FAST

ElevenLabs@ElevenLabs18 Dec 2024X

“Meet Flash. Our newest model that generates speech in 75ms + application & network…”

Cited in Eleven Flash v2.5 / Flash v2

Dario Amodei@DarioAmodei11 Oct 2024X

“Machines of Loving Grace: my essay on how AI could transform the world for the better”

Cited in Dario Amodei publishes “Machines of Loving Grace”

Leopold Aschenbrenner@leopoldasch4 Jun 2024X

“Virtually nobody is pricing in what’s coming in AI.”

Cited in Leopold Aschenbrenner publishes “Situational Awareness: The Decade Ahead”

Jan Leike@janleike17 May 2024X

“Yesterday was my last day as head of alignment, superalignment lead, and executive…”

Cited in Jan Leike resigns, saying OpenAI’s safety culture ‘has taken a backseat to shiny products’

Jan Leike@janleike15 May 2024X

“I resigned”

Cited in Jan Leike resigns, saying OpenAI’s safety culture ‘has taken a backseat to shiny products’

Mike Krieger@mikeyk15 May 2024X

“I’m thrilled to announce that I’ve joined @AnthropicAI as their Chief Product Officer!”

Cited in Mike Krieger

Ilya Sutskever@ilyasut14 May 2024X

“After almost a decade, I have made the decision to leave OpenAI.”

Cited in Jan Leike resigns, saying OpenAI’s safety culture ‘has taken a backseat to shiny products’

Geoffrey Hinton@geoffreyhinton3 May 2023X

“I now predict 5 to 20 years but without much confidence.”

Cited in Geoffrey Hinton leaves Google so he can speak freely about AI risks

Andrej Karpathy@karpathy11 Nov 2017X

“New blog post: ‘Software 2.0’”

Cited in Andrej Karpathy’s essay “Software 2.0”

Danmar_here@Danmar_hereDate not recordedX

Danmar_here on X

Cited in ‘AI Torture Chamber’ GitHub repo steering small LLMs into ‘pain’ goes viral, sparking takedown calls and a model-welfare fight