Mathematical discoveries from program search with large language models
Paper • Dec 14, 2023 • Nature • Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, Pushmeet Kohli
Large language models (LLMs) have demonstrated impressive capabilities in code generation, but their ability to discover novel mathematical knowledge has been limited by hallucinations and lack of ...