Math is an entirely different problem to solve.

Look at the showcase AI proof of the Naiver-Stokes existence. It basically took an equation and proved it was valid across all possible variables.

That’s a problem in a closed system. There is no question how the function works. The tools needed to solve it are known.

Biology is like solving a math equation we only have a crude approximation for. Parts of the equation are missing and there are variables we aren’t aware of. You also have a limited set of tools to test the equation.