Comment by portaouflop

A human researcher that is basically right 40%-95% of the time would probably an Einstein level genius.

Just assume that the LLM is wrong and test their assumptions - math is one of the few disciplines where you can do that easily