Are ML researchers "scientific researchers"? Then yes, they are using LLMs. AlphaEvolve is one such example. Are mathematicians? Then yes, for example Terrence

Are ML researchers "scientific researchers"? Then yes, they are using LLMs. AlphaEvolve is one such example. Are mathematicians? Then yes, for example Terrence Tao is using LLMs. AlphaProve / geometry are also examples of this, using LLMs to generate lean proofs, translate from NL to lean, and so on. And for the general "researchers", they use code generation to speed up stuff. Many scientists can code, but aren't "coders" in the professional sense. So they can use the advances in code generation to speed up their own research efforts.