The problem is that biology is like trying to reverse engineer alien technology to understand how it works. Math/engineering is more like building up complexity through well defined parts. Math/engineering is a heck of a lot more deterministic than biology. The ultimate bottleneck in biology in context of AI is well curated and breadth of data, not necessarily intelligence.
[–] areoform 2 days ago
[–] stephen_cagle 2 days ago
My feeling on this is that math is amenable to LLM based development because the formalism of LEAN + the ability of AI to nudge research means that we basically have machines that can "research" through what is basically brute force search, but where the explored trees are ordered by AI.
But what if there were a biological system similar to LEAN for drug interaction? Could we not use AI in a similar way to nudge the exploration space based on the vibes that the AI has about drug discovery?
I agree there is a a distinction in the formalism of a proof (through LEAN) and the sort of probabilistic/chemical/physical/whatever nature of a biological organism (through some sort of future modeler for life science). But is the fact that one system is deterministic and the other probabilistic really as much of a leap as you think?
[–] daemonk 2 days ago
We currently have disparate datasets that allows us to make some predictions on how drugs will interact with molecules. And we have studies on how these molecules might affect our organs/bodies. But all of this data are at different resolutions, sparsity, and have different experimental context. It is extremely hard to reconcile for a holistic model.
DNA is the great unifier in molecular biology as it is the digital anchor/foundation that everything above relies on. But there is just so much complexity above it. An analogy in the AI space would be model distillation where you are trying to discover all the weights in a LLM by giving it a prompt and seeing what the results are. With biology, we know the prompt (DNA sequence, genotype) and we can kind of quantify the result (phenotype). And we have to figure out all the weights in between (how DNA becomes a fully functioning organism).
You can't use Claude to write a grant unless you are one of the special people because "uplift." I genuinely wish I was joking. Here are the exact passages from their report that I quoted here, https://news.ycombinator.com/item?id=49651727