Let's say for the sake of argument that an LLM finds a counter example to the Reimann hypothesis. Wouldn't that just create a bunch of opportunities for understanding and explaining _why_ there is a counter example?