yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here: https://t.co/8SjXONeh38
@anshulkundaje But you believe at end of the day, at some point, we are able to build the first virtual cell? Do you think LLMs can accelerate the process from decades to years?
It’s getting hard to keep track of all the new open-source cofolding models coming out. To help everyone stay up to date, I'm excited to share https://t.co/Gc9PaF6GoY, a PDB-synced leaderboard of open models, updated weekly. All predictions are available to view & download! (1/4)
Everyone in the Valley has a take on whether China is winning AI, robotics, and biotech. Almost nobody understands how the capital works
Notes from meeting China's tier-1 investors and founders on how their venture ecosystem actually works. https://t.co/Dii6Oeqn1A
J’ai été très sensible aux nombreux messages que vous m’avez adressés à la suite de ma lettre ouverte au Monde.
Je tenais à vous en remercier toutes et tous, directement et personnellement, ici, sur X.
Merci!
Bernard Arnault
@sokrypton It’s hard…from professional perspective, you should respond. But as a respected researcher, I don’t think you need to respond to AI generated reviews.
We made a really good protein design model, validated by wet-lab already.
Now, we want to run in-silico tests, what kind of computational validation you want to see?
Leave a comment, thanks!
I have three questions:
1. Can LLMs do protein folding?
2. If LLM is the form of AGI, is protein folding a necessary intelligence?
3. If biology or science is the next topic after coding, do we need LLMs to understand protein folding?
Should scientific AGI understand folding?
@NielsRogge Exactly.
We are just saying open-source is good; the community needs some high-quality open-source weights. Not asking Anthropic to open-source their models…but they just hate.
@biocheMichael Now it’s mAbs, but since we will open-source the model: a new OpenDDE checkpoint, the community can test its capabilities to design enzymes, mini binders, and more.