Convergent Research
@Convergent_FROs
Followers
4K
Following
1K
Media
18
Statuses
1K
A mission control for frontier technology. To learn more about Focused Research Organizations, visit our website.
The Milky Way
Joined September 2021
we made a map! https://t.co/YtwACsfSiP is a tool we built to help you explore the landscape of R&D gaps holding back science - and the bridge-scale fundamental development efforts that might allow humanity to solve them, across almost two dozen fields
16
137
494
In this case please feel free to judge a book by its cover. My first title, THE PROOF IN THE CODE, coming out soon from @QuantaBks and @fsgbooks. It's the story of @leanprover and how a plucky band of mathematicians has changed the way the field works.
us.macmillan.com
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking p...
Check out the cover for our inaugural title, @KSHartnett's THE PROOF IN THE CODE, coming June 9, 2026! Shoutout @fsgbooks for the beautiful design. Want a copy of your own? You can now preorder here: https://t.co/KsAqVX4uWM.
1
3
8
Thrilled to hear about the "Harmonic Analysis with Lean Formalization" (HALF) project: 6 years of research-level formalization in #LeanLang, led by Dr. Christoph Thiele and Dr. Floris van Doorn at University of Bonn with a €6.4M ERC Synergy Grant. Dr. van Doorn: "As the first
0
19
150
Today, we’re announcing Kosmos, our newest AI Scientist, available to use now. Users estimate Kosmos does 6 months of work in a single day. One run can read 1,500 papers and write 42,000 lines of code. At least 79% of its findings are reproducible. Kosmos has made 7 discoveries
195
646
4K
Kosmos, our newest AI Scientist, is available to use today on our platform. Watch here as three of our scientists describe what Kosmos is, and how it can accelerate scientific research.
24
93
510
"America’s entrepreneurial advantage lies in our boldness and willingness to innovate with new ways of doing business. While other countries may have government-directed industrial policies, the U.S. excels at creating novel partnership structures that align private sector
Whether you want to industrialize biology or biologize industry, we could use new financing structures. I propose BiBs (Bioindustrial Bucks).
0
0
0
Whether you want to industrialize biology or biologize industry, we could use new financing structures. I propose BiBs (Bioindustrial Bucks).
genengnews.com
Synthetic biology is ready for the next developmental milestone and America’s leadership depends on getting the financing right.
4
11
34
Mahlon Collins is leading our discoveries in profiling the proteome of single neurons from Alzheimer's disease patients. He presents this research journey in a talk, "Discovering Alzheimer's disease protein dysfunctions with high throughput proteomics". https://t.co/5ru96FQYnQ
0
1
0
Models trained on harder antibody binding tasks learned deeper biological rules and generalized better. A recent @NatMachIntell paper by our cofounder & CTO @victorgreiff shows training on hard negatives (weak vs strong binders) boosts antibody ML generalization. At IMPRINT,
nature.com
Nature Machine Intelligence - Negative data composition critically shapes machine learning robustness in sequence-based biological tasks. Training data composition and its implications are...
0
1
1
I bounce this email to myself every ~week. Coming across it sporadically in my inbox catches my brain off guard. Revealing. I often find (a) I think about big problems for several weeks, and (b) There is rarely good reason not to do the high agency thing.
Agency > Intelligence I had this intuitively wrong for decades, I think due to a pervasive cultural veneration of intelligence, various entertainment/media, obsession with IQ etc. Agency is significantly more powerful and significantly more scarce. Are you hiring for agency? Are
0
3
27
it’s kinda crazy what people are willing to read. nearly 30 minutes of text about why you would want to do and how to do high throughput drug interactions. theres a market for everything
3
7
57
For the past three months, @AmmannNora and I have been working with experts across @ARIA_research and other leading organisations to start sketching out an R&D agenda for civilisational resilience in the age of AI. Today we’re launching our first tentative findings at
1
11
33
What does it take for civilization to be resilient in a world where powerful AI is abundant? 🤔 ...the question @edwardkembery & I've been obsessed with for the past few months Our goal: starting to spec out an ambitious R&D agenda to unlock decisively defense-favoured futures.
For the past three months, @AmmannNora and I have been working with experts across @ARIA_research and other leading organisations to start sketching out an R&D agenda for civilisational resilience in the age of AI. Today we’re launching our first tentative findings at
1
4
27
When FROs release roadmaps it’s a double dopamine hit for me.
We show that running 100+ proteomic samples in a single DIA run is in reach! Check out how we are redesigning non-isobaric mass tags here at @ParallelSqTech! https://t.co/yHr4Bcg09w
0
2
26
Very cool to see the top science official in the White House explicitly say he wants to direct more federal R&D funding to new science institutions and focused research organizations.
From @rSanti97's interview with @mkratsios47 at the Progress Conference. We need to build and support new institutions of science. And our current funding mechanisms are not well designed to do that.
20
31
270
@_JasonDerks presents "Increasing Mass spectrometry throughput using time encoded sample multiplexing" at Research Fest in Boston, MA on April 22, 2025. https://t.co/3Sd1Wk0e3J
0
1
2
We opened a new Head of Development position to join PTI's mission of creating a sustainable and scalable model for non-profit research. We would love to hear from you if you are the right fit for our team! https://t.co/adY83D71Md
jobs.lever.co
Parallel Squared Technology Institute (PTI) is a non-profit research institute aiming to catalyze a leap in protein analysis technology and use it to explore new biological frontiers. PTI supports...
0
1
2
You can read the full interview and the rest of Santi's takeaways from the Progress Conference here: https://t.co/NiW2uiZkKm
statecraft.pub
The Recoding America Fund, Progress Conference, & a conversation with OSTP Director Michael Kratsios
0
2
13
From @rSanti97's interview with @mkratsios47 at the Progress Conference. We need to build and support new institutions of science. And our current funding mechanisms are not well designed to do that.
2
16
63