Code is the Byproduct
Recently, the Jacobian Conjecture was disproven by a counterexample discovered by an LLM. Shortly thereafter, a ChatGPT session from mathematician Terence Tao made the rounds online. In his chat, Tao uses ChatGPT to help him wrap his head around the implications of the result. If you use LLMs in your