“Major scientific advances using LLMs, such as those from AlphaCode, AlphaGeometry, and FunSearch, have resulted from combining the language model with an external algorithmic procedure like a theorem prover or genetic algorithm.”