Comment by stephen_cagle | Hacker News Reader

Comment by stephen_cagle | Hacker News Reader

Parent Full thread

I wonder if this is true (I am less than a layman, so feel free to disregard).

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?

I wish there was something like LEAN for biology. But there just isn't nearly enough data to build anything close to a good drug discovery simulator. To have a LEAN for drug discovery, we would need to simulate human physiology down to the molecular interactions at a reasonable accuracy.

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).

Reply on news.ycombinator.com