Formal verification and case automatikn can be done automatically anyway without a mathematician hand checking each case. For an old example that predates LLMs

Formal verification and case automatikn can be done automatically anyway without a mathematician hand checking each case. For an old example that predates LLMs, see the four color theorem.