logoalt Hacker News

daemonk • yesterday at 10:13 PM • 2 replies • view on HN

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


Replies

areoform • yesterday at 11:47 PM

    > It helps with bureaucracy and pipeline generation. 
If you're one of the lucky ones. It's worth remembering that Anthropic has publicly bragged about blocking real research to make better painkillers and study a neglected tropical disease.

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

stephen_cagle • yesterday at 10:47 PM

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?

➕ show 1 reply