We've been a part of the OpenAI API beta for a while now, and what I can tell you is that ENTIRE industries are about to be completely re-made in a matter of months.
Scaling laws are powering AI. It’s time to scale biology.
Today we’re launching the Virtual Biology Initiative to generate the data to unlock scaling laws in biology and build accurate predictive models of the cell.
Digital representations of proteins are already expanding our understanding of life at the molecular level, and accelerating the design of molecules and medicines. Accurate digital representations of the cell could reveal the mechanisms that are responsible for disease, and show how to reverse them.
The protein data bank, and worldwide repositories of protein sequence biodiversity were created through decades of work by the scientific community. The advances in artificial intelligence for proteins would not have been possible without them.
The cell is orders of magnitude more complex, and we will need to create the data in just a few years rather than decades.
This will require a coordinated global effort. We're partnering with Broad, Wellcome Sanger, Arc, Allen, Human Cell Atlas, Human Protein Atlas, NVIDIA, and Renaissance Philanthropy.
Biohub is contributing to this effort as both a funder and a builder. We are developing microscopy to observe millions of cells in living organisms, and cryo-ET to resolve the cell in atomic detail. We're building instruments that expand the range of modalities and parameters that can be simultaneously measured. We’re developing molecular, cellular, and tissue engineering to create models of disease and design interventions.
The data we generate will be available to the worldwide scientific community.
We’re also committing $100M over the next five years to support work beyond Biohub.
We invite other scientific teams and funders to join.
Link: https://t.co/93Nw1QT5iZ
It's surprising that public markets still don't really understand that the demand for intelligence (compute) is functionally infinite, at least from the POV of a Kardashev I civilization, and probably Kardashev II too.
We just raised $3.5M from @generalcatalyst to kill tax season. Our mission isn't to 'streamline' it, but to delete this problem for Americans. No time. No cost.
(1/5 🧵)
Our Formal Verification team has formalized computable multivariate polynomials in Lean. cc @leanprover
This is a foundation for stronger, machine-checked reasoning in zk proofs and protocol design.
🔗 https://t.co/4nQ7AhzWus
1/
Overheard in Silicon Valley: "My biggest lesson from the last year is just, it’s all going to happen. All my childhood dreams of space colonies and brain interfaces and AI and robots. Everything is just… going to happen."