well math you can run Lean...

but for bio... I don't think we have 99.999999% accuracy simulation, and experiments aren't "0.00001 cent"

so we have to rely a lot on existing data or pay a lot