NeuroAI researcher @ Amaranth Foundation, safety, open science. Previously engineer @ Google, Meta, Mila.
New York City
Joined April 2011
- Tweets5.6K
- Following2.6K
- Followers23.7K
- Likes10.8K
Pinned Tweet
Excited to release what we’ve been working on at Amaranth Foundation, our latest whitepaper, NeuroAI for AI safety! A detailed, ambitious roadmap for how neuroscience research can help build safer AI systems while accelerating both virtual neuroscience and neurotech. 1/N
Patrick Mineault retweeted
Andreas Tolias & I are hiring a Chief of Staff to work closely with us at @metamorphiclabs.
Seeking a high-agency generalist with strong judgment and exceptional execution who thrives in a dynamic environment and has a track record of owning complex projects from ambiguity to results.
You’ll work directly with us across strategic projects, fundraising, partnerships, and business operations, with substantial autonomy and room to grow.
If this sounds like you or someone you know, we’d love to connect.
About Metamorphic: metamorphic.com
Role & Application: lnkd.in/gYp-b3c3
Patrick Mineault retweeted
Cancer patients with the same diagnosis often have very different tumor biology.
Molecular testing can reveal underlying differences, but that's slow and expensive.
Introducing Holon-S1, our platform to predict genes and biomarkers from routine pathology slides.
• beats two other models at predicting spatial gene activity in a controlled comparison
• has identified potentially novel biomarkers in breast cancer and colon cancer
• evaluated across 16 organ types and more than 15 scanners, using slides from both formalin-fixed, paraffin-embedded and fresh-frozen tissue.
We believe Holon-S1 has the potential to help researchers find new biomarkers in slides they already have, discover treatment targets, and bring more personalized cancer care within reach!
Patrick Mineault retweeted
I have a lot of respect for @nickcammarata and Goodfire, but I will add some thoughts from brains/neuroscience.
First, polysemanticity and distributed representations are ~widely~ seen in biological brains. (In some ways this is what I have spent my career on.) 1/
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had
with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works
already-clean.goodfire.com/
Patrick Mineault retweeted
Our paper is out in @NatureAging. We looked for factors that make old cells' gene expression young without erasing their identity. SRSF1 came out as a promising rejuvenation target that reduced aging hallmarks in human cells and extended median lifespan of aged mice by 14%.
1/4
ALT Watercolor-style graphic of two overlapping cells split by a curved diagonal. On the left, a muted gray cell with a dark nucleus and faint white circuit traces. On the right, the same form in luminous blue, its circuitry lit up. Short dashes standing for RNA transcripts scatter loosely in gray on the left and fan outward in blue and pale green arcs on the right. Art by Helen H. Wang.
Patrick Mineault retweeted
For a while now, @kirancodes has been excitedly telling everyone at @BasisOrg who would listen about a crazy idea she's been pursuing. Not everyone thought it was possible, but it's starting to work. See basis.ai/blog/ship-your-inte…
TL;DR: The bottleneck in verifying the world's software is shifting from theorem proving to specifications and semantics. We now have a way to verify semantics that can scale across all programming languages.
The basic idea:
To verify that a program is correct, you need the program, a specification you want to prove, and a semantics that defines what programs and specs mean.
Most programming languages (Python, Ruby, Lua…) have no formal semantics, because semantics are painful to write for complex languages.
You can ask an LLM to write a semantics for you, but it'll probably have mistakes.
But (i) programming languages do have interpreters/compilers, which ultimately are compiled down to machine code, and (ii) some instruction sets do have formal semantics. RISC-V has an official formal model.
So, crazy idea:
Step 1: Compile your interpreter (e.g. Python's) down to RISC-V. Now its behaviour is formally defined. It's exact, but unreadable: thousands of machine instructions.
Step 2: Ask your LLM to write a semantics for your language.
Step 3: Ask the LLM to prove, in @leanprover, that its semantics agrees with the compiled interpreter on every possible program. If the semantics is wrong, the proof gets stuck, and the LLM goes back to fix it.
Step 4: If the proof goes through, you have a semantics you don't need to trust, and you can verify programs in a language that never had one, with guarantees that reach the binary that actually runs.
Kiran has now done this end to end for a simple WHILE language, and we're scaling it up to Lua and OCaml, with Python as the north star.
Patrick Mineault retweeted
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had
with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works
already-clean.goodfire.com/
Patrick Mineault retweeted
1/
New preprint! 🦇 🤖
We built a functional “digital twin” of the hippocampus: a transformer trained on Neuropixels recordings and 3D flight in freely flying bats.
Probing its latent space revealed previously unknown structure in hippocampal population activity.
🧵
I had not realized that David Hubel did the same Honors in Math & Physics undergrad at McGill that I would do 60 years later. Small world.
Patrick Mineault retweeted
How AI shifted from a transductive paradigm (token-by-token answer completion) to an inductive paradigm (on-the-fly reasoning chain synthesis), in one chart. This is the big story of 2025 and 2026. This is what made coding agents work.
Patrick Mineault retweeted
From a NeuroAI perspective, it's really annoying that feedforward neural nets rule the world. Unrolling equivalence notwithstanding, what inductive biases does recurrence buy us? Looking forward to reading this.
1/5
New preprint: what does lateral recurrence add to visual representations?
Recurrence reuses the same weights over time: more computation, no new parameters.
Does that extra computation refine representations? If so, which ones?
doi.org/10.64898/2026.10.02.…
Patrick Mineault retweeted
Microscopes have historically imaged organisms on a flat surface. You basically take some cells, put them under a coverslip, and image them. But cells in the wild don’t live like this; they move in 3D.
The Gravity Machine from Manu Prakash’s lab is such a brilliant way to solve this problem. It came out a few years ago, in 2020, but it really emphasizes this idea that discoveries are easier to make when we design our instruments in a way suited to observing them. This is basically a microscope that can record (marine) organisms moving in three dimensions. It looks like a car tire, with a water-filled channel running around its rim. You put your organism in the water and place the microscope on the side. As the organism swims up or down, the wheel rotates to compensate, keeping it in view.
The video below was taken with this Gravity Machine. It shows a single cell, Volvox aureus, swimming upwards. As it swims, the researchers flash a light, and you can see the cell rapidly shoot upwards. This is something we could never record with a normal microscope!
What else in biology are we missing because of poor measurement tools? (Apparently, for example, there are marine organisms that float up or down an entire kilometer as they are dividing.) I’ve seen 3D images of plant roots, but only after all the bacteria attached to them have been killed off. What if we could image the gut microbiome or an entire cube of dirt across space and time, without killing the organisms first?
Patrick Mineault retweeted
Leading AI models appeared to predict brain activity equally well…
…until we asked them to synthesize images that precisely control neural firing, like these 👇
Across 25 neural sites, closed-loop experiments revealed striking hidden differences in model-brain alignment.
🧵
Patrick Mineault retweeted
If you want to learn more about ultrasound BCIs, I highly recommend @patrickmineault’s GitHub tutorials
github.com/patrickmineault/f…
Patrick Mineault retweeted
The human brain is approaching its ChatGPT moment.
I spent 6 months writing Phase Lock: a manifesto on how brain computer interfaces can help align AI and preserve human agency.
If you only ever read one thing from me, read this.
Patrick Mineault retweeted
I feel like the progress of AI is actually making systems neuroscience more exciting.
It's not like current AI has a particularly good angle on physical intuition, common sense, world models, planning/reasoning, motivations/drives, emotions, etc.
We may now have the tools to implement and test cognitive architectures.
Patrick Mineault retweeted
Questions in Systems Neuroscience are indeed changing, but to me the new ones are even more exciting! Some years ago, @JamesJDiCarlo showed an old clip of Hans-Lukas Teuber (the founder of @mitbrainandcog: bcs.mit.edu/events/hans-luka…) saying that science goes through stages: explain, predict, control. #NeuroAI first moved us to predict, and I think it's super exciting that we're firmly moving into control:
- prediction is pretty well established by now (e.g. Brain-Score.org; algonautsproject.com), although models are not perfect and can fail on simple stimuli (what is missing?)
- the field is actually making progress on a theory for why this works (@dyamins & @aran_nayebi arxiv.org/abs/2607.08561, @tyrell_turing nature.com/articles/s41593-0…).
- model-synthesized stimuli can neuromodulate visual cortex and the human language network (@PouyaBashivan @KohitijKar science.org/doi/10.1126/scie…, Walker @sinzlab pubmed.ncbi.nlm.nih.gov/3168…, @GretaTuckute nature.com/articles/s41562-0…, and more)
- even for invasive techniques, topographic models predict and steer the behavioral effects of microstimulation; optogenetics and muscimol (proceedings.iclr.cc/paper_fi…, biorxiv.org/content/10.1101/…)
- and finally model-brain alignment is not strong enough that we can model atypical processing in dyslexia, autism, aphasia, and anhedonia (@melikahnd_1 arxiv.org/abs/2509.24597, pubmed.ncbi.nlm.nih.gov/3570…, arxiv.org/abs/2607.11621, @melikahnd_1 anhedonic-ai.epfl.ch)
How processing breaks down, and how we can push it back toward healthy, are very much algorithmic questions about the brain with a clear real-world impact. And now we can actually test them, how cool is that!
Patrick Mineault retweeted
Our clinical trial participants have now used their Neuralink implants for over 50,000 hours, building one of the largest datasets of intracortical neural activity ever.
We used it to pretrain a foundation model for BCI: self-supervised neural encoders that turn noisy, drifting spikes into stable representations.
Some initial results:
• Decoders that keep working for weeks instead of days. For some users, calibration dropped from 10 min/day to 10 min/week
• Teleporting cursors that jump straight to the intended target
• A new cursor-control record of 11.32 bits per second (exceeding the performance of most able-bodied people)
We’re just getting started. Future directions include pooling data across participants, one-shot (or zero-shot) calibration, and an API for the motor cortex.
Read more:
neuralink.com/updates/pretra…
Patrick Mineault retweeted
this is a great dive into functional ultrasound imaging, a promising brain imaging modality...