Peter Zhou

477 posts

Peter Zhou banner
Peter Zhou

Peter Zhou

@xtzhou

General Partner at Triatomic

Palo Alto, CA Katılım Nisan 2009
2.1K Takip Edilen761 Takipçiler
Peter Zhou
Peter Zhou@xtzhou·
Incredible speed of execution from @CarinaLHong & team. Happy to be a part of this journey 😊
Carina Hong@CarinaLHong

Excited to announce Axiom’s Series A. We raised $200 million fresh capital at a $1.6 billion+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists dream up theories, formulate hypotheses. They then come up with proofs, a two-step process of discovery. We created Axiom to turn the sparks of curiosity into known truths - and to compress the timeline of breakthroughs. The Verified AI dream is a generalization of this dream. It is more than providing safeguards for mission-critical systems. This same gap between expert intuitions and the machinery needed for grounding exists today in any domain where the generation-verification iteration loop can be tighter. And yes, software eats the world, recursive self-improvement is a near sight. Verified AI is not about hallucinations, what’s lousy; instead, it’s about superintelligence, the brilliant. We work on Verified AI not due to a distrust in technology, but rather, we think the rapid advances of AI compels it. I’m grateful to work with and learn from the best team in the world. It’s not an easy journey, but climbing with you is what makes it worth it. And can’t wait to build with a more accelerated speed - nod to @shubho for grounding an ambitious vision in relentless execution everyday. This round was led by @mkraning with @CCgong. Thanks also to existing investors who doubled down for your conviction since the start (@jturow, @mattmcilwain of @MadronaVentures; @marcievu of @greycroftvc; @yanda, @IdaGirma, @nickgiometti of @BCapitalGroup; @ChrisAbshire_ of @Toyota_Ventures; @xtzhou, @jhuber of @TriatomicCap) and the new firms who we got to meet through the process.

English
0
2
6
2.6K
Peter Zhou retweetledi
Efficient Computer
Efficient Computer@efficient_hq·
Efficient Computer raised a $60M Series A led by @TriatomicCap, with participation from @EclipseVc, Union Square Ventures, Overlap Holdings, @BoxGroup, @RTX_News, @Toyota_Ventures, and @overmatchvc—total funding $76M. Energy—not compute—is the constraint as AI moves into the physical world. This accelerates our roadmap and team growth. Learn more: efficient.computer/resources/effi… #SeriesA #EdgeAI #StartupNews #TechNews #SeriesAFunding
Efficient Computer tweet media
English
0
5
6
779
Peter Zhou retweetledi
Sam Rodriques
Sam Rodriques@SGRodriques·
We're launching integrations for Kosmos today that allow it to access 80% of publicly available biology data. This means it can now find its own data to initiate projects, enrich its investigation with data from different modalities, and validate its findings in alternative datasets. We've seen runs where it will come up with a finding, try to replicate it in other datasets, fail, and then iterate on its hypothesis until it finds something more robust. In our blog post (link below), we describe how Kosmos was able to take a finding about TGFb signaling and the extracellular matrix in pancreatic cancer from bulk RNAseq and enrich it with further analysis in human clinical data and single cell data that it grabbed autonomously. This allowed it to come up with a plausible mechanism for its initial finding using other datasets, all without human intervention. In our testing so far, it seems like a very significant unlock. Read about it on our blog (link below), and try it on our website. Academics get three free runs per month. (It's also now way easier to try, since you don't have to have a dataset at hand to get Kosmos to do really interesting analysis.)
Sam Rodriques tweet media
English
5
31
180
24K
Peter Zhou
Peter Zhou@xtzhou·
We're thrilled to be co-leading this @EdisonSci round. @SGRodriques and @andrewwhite01 have brought together an exceptional interdisciplinary team and built a set of foundational tools that help push the frontiers of science. We can't wait to see what scientists discover with the help of Edison's agents! 🔬🧬🚀
Sam Rodriques@SGRodriques

Science is too slow. At Edison, we are integrating AI Scientists into the full stack of research, from basic discovery to clinical trials. We want cures for all diseases by mid-century. We have raised a $70M seed to get started. Join us. We need cracked software engineers who want to work on finding cures rather than selling ads and generating slop. If you’re reading this, you’re probably a candidate. We need brilliant AI researchers who want to figure out how AI will accelerate real-world science. We need scientists and researchers with deep expertise in biology, biotech, and pharma who want to figure out how to integrate AI deeply into scientific workflows, from ideation to experimentation, and how to measure success or failure. We need extraordinarily talented generalist operators across BD, sales, product management, and partnerships who can focus on getting our tools into the hands of pharmaceutical companies. If any of these roles sound like you, get in touch. We are also expanding access to our platform. Our goal is to accelerate science writ large. To that end, we will continue to give academics and students 650 credits/mo indefinitely. I can’t promise we’ll keep this up forever, but we will try. Kosmos will still cost 200 credits, and the other agents (Analysis, Literature, etc.) will cost 1 or 2 credits. All paid users will have access to our regular agents, like our Analysis agent, Literature agent, and so on, for free via the UI. API access will still be paid, and users without a paid subscription will continue to get 10 credits per month for those agents. Our $200/mo subscription for 650 credits/mo is staying in place for now, but might be phased out at our next major product update. Along the lines of accelerating science, we’re also doing a major release of PaperQA today, our flagship open source literature agent, as part of our commitment to open science. In the short run, expect major improvements to Kosmos, including the ability to automatically access data, the ability to steer its exploration, and the ability to converse directly with its world model. In the long run, expect exponentially increasing rates of scientific discoveries, in biology and elsewhere. Our round is led by Triatomic Capital, Spark Capital, and a major US institutional biotech investor. We are also joined in this round by existing investors Pillar VC and Susa Ventures, two exceptional early-stage funds who backed us at founding, along with Striker Venture Partners, Hawktail VC, Olive VC, and a host of exceptional angels that includes famous AI researchers, the CEOs of multiple frontier AI labs, and leadership of major biotech and pharma companies.

English
8
4
94
11.4K
Peter Zhou retweetledi
Axiom
Axiom@axiommathai·
Putnam, the world's hardest college-level math test, ended yesterday 4p PT. Noon today, AxiomProver solved 9/12 problems in Lean autonomously (3:58p PT yesterday, it was 8/12). Our score would've been #1 of ~4000 participants last year and Putnam Fellow (top 5) in recent years
English
48
113
983
619.3K
Peter Zhou retweetledi
Carina Hong
Carina Hong@CarinaLHong·
Axiom sets out to build an AI mathematician. We are the underdog. 4 months old, 2 years late to the game, under 10 FTEs (recently grew to 17), and had 1:5 in funding and in valuation to our competitor. Today, AxiomProver solved Erdos Problems #124 and #481 in Lean, a 100% verifiable language. Onwards!
English
46
70
826
125.4K
Peter Zhou retweetledi
Sam Rodriques
Sam Rodriques@SGRodriques·
@sama Thanks!! Anyone who is interested can try Kosmos for themselves here: platform.edisonscientific.com All possible in large part due to the amazing work you guys have been doing at OpenAI. Keep it up, and the next few years are going to be awesome.
English
40
78
524
158.8K
Peter Zhou retweetledi
Sam Rodriques
Sam Rodriques@SGRodriques·
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 so far, which we are releasing today, in areas ranging from neuroscience to material science and clinical genetics, in collaboration with our academic beta testers. Three of these discoveries reproduced unpublished findings; four are net new, validated contributions to the scientific literature. AI-accelerated science is here. Our core innovation in Kosmos is the use of a structured, continuously-updated world model. As described in our technical report, Kosmos’ world model allows it to process orders of magnitude more information than could fit into the context of even the longest-context language models, allowing it to synthesize more information and pursue coherent goals over longer time horizons than Robin or any of our other prior agents. In this respect, we believe Kosmos is the most compute-intensive language agent released so far in any field, and by far the most capable AI Scientist available today. The use of a persistent world model also enables single Kosmos trajectories to produce highly complex outputs that require multiple significant logical leaps. As with all of our systems, Kosmos is designed with transparency and verifiability in mind: every conclusion in a Kosmos report can be traced through our platform to the specific lines of code or the specific passages in the scientific literature that inspired it, ensuring that Kosmos’ findings are fully auditable at all times. We are also using this opportunity to announce the launch of Edison Scientific, a new commercial spinout of FutureHouse, which will be focused on commercializing our agents and applying them to automate scientific research in drug discovery and beyond. Edison will be taking over management of the FutureHouse platform, where you can access Kosmos alongside our Literature, Molecules, and Precedent agents (previously Crow, Phoenix, and Owl). Edison will continue to offer free tier usage for casual users and academics, while also offering higher rate limits and additional features for users who need them. You can read more about this spinout on our blog, below. A few important notes if you’re going to try Kosmos. Firstly, Kosmos is different from many other AI tools you might have played with, including our other agents. It is more similar to a Deep Research tool than it is to a chatbot: it takes some time to figure out how to prompt it effectively, and we have tried to include guidelines on this to help (see below). It costs $200/run right now (200 credits per run, and $1/credit), with some free tier usage for academics. This is heavily discounted; people who sign up for Founding Subscriptions now can lock in the $1/credit price indefinitely, but the price ultimately will probably be higher. Again, this is less chatbot and more research tool, something you run on high-value targets as needed. Some caveats are also warranted. Firstly, we find that 80% of Kosmos findings are reproducible, which also means 20% are not -- some things it says will be wrong. Also, Kosmos certainly does produce outputs that are the equivalent to several months of human labor, but it also often goes down rabbit holes or chases statistically significant yet scientifically irrelevant findings. We often run Kosmos multiple times on the same objective in order to sample the various research avenues it can take. There are still a bunch of rough edges on the UI and such, which we are working on. Finally, we are aware that the 6 month figure is much greater than estimates by other AI labs, like METR, about the length of tasks that AI Agents can currently perform. You can read discussion about this in our blog post. Huge congratulations to our team that put this together, led by @ludomitch and @michaelathinks: Angela Yiu, @benjamin0chang, @sidn137, Edwin Melville-Green, Albert Bou, @arvissulovari, Oz Wassie, @jonmlaurent. A particular shout out to @m_skarlinski and his team that rebuilt the platform for this launch, especially Andy Cai @notAndyCai, Richard Magness, Remo Storni, Tyler Nadolski @_tnadolski, Mayk Caldas @maykcaldas, Sam Cox @samcox822 and more. This work would not have been possible without significant contributions from academic collaborators @mathieubourdenx, @EricLandsness, @bdanubius, @physicistnevans, Tonio Buonassisi, @BGomes_1905, Shriya Reddy, @marthafoiani, and @RandallBateman3. We also want to thank our numerous supporters, especially @ericschmidt, who has been a tremendous ally. We will have more to say about our supporters soon!
English
274
650
3.7K
727.7K
Peter Zhou retweetledi
stash
stash@stash_pomichter·
we made our robot dog sentient with dimensional agents
English
6
3
43
3.8K
Peter Zhou retweetledi
Pierce
Pierce@PierceOgdenJ·
Excited to announce mBER, our fully open AI tool for de novo design of epitope-specific antibodies. To validate, we ran the largest de novo antibody experiment to date: >1M designs tested against 145 targets, measuring >100M interactions. We found specific binders for nearly half the targets, with up to 40% hit rates. Thread below:
GIF
English
14
133
609
71.2K
Peter Zhou retweetledi
Manifold Bio
Manifold Bio@ManifoldBio·
Introducing #mBER: our open-source AI library for de novo, format-aware antibody design. Paired with in vivo multiplexed screening, mBER forms @ManifoldBio's direct-to-vivo drug discovery platform, bridging the gap between AI-guided design and biological translation.
English
1
7
27
15.3K
Peter Zhou retweetledi
Carina Hong
Carina Hong@CarinaLHong·
Today, I am launching @axiommathai At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.
English
186
261
2.5K
1.3M
Peter Zhou
Peter Zhou@xtzhou·
Proud to have supported @chalk's $50M Series A! This team is solving one of the hardest problems in AI infrastructure – getting fresh, real-time data to production models. The teams that get it, get it; faster performance isn’t just a nice-to-have, but a real competitive advantage. @TriatomicCap is excited to partner with them as they scale.
Peter Zhou tweet media
English
0
1
4
845