Comment by geraneum

The logical aspect of math is taken care of (validated, confirmed, judged, etc.) by lean and not the AI. That makes it hard to achieve the same results in fields like biology following the same, otherwise effective, AI guided brute force methods.