Major scientific advances using LLMs, such as those from AlphaCode, AlphaGeometry, and FunSearch,..., Sonic AI
“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.”