This shows why biology is so much harder a problem area for LLMs than math, finding RTs is tedious but pretty doable today, they had to scope the problem down a lot from something that would be the equivalent of Navier Stokes in biology. Glad they’re doing it though, even if it’s just marketing.