Posts that mattered

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