alt Hacker NewsIt helps with bureaucracy and pipeline generation. That's valuable and frees up time and effort for scientists. But it's not generating new ideas or solving problems like in math/engineering.
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.
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?