Mathematical discoveries from program search with large language models

• Published in: Nature (London) Vol. 625; no. 7995; pp. 468 - 475
• Main Authors: Romera-Paredes, Bernardino, Barekatain, Mohammadamin, Novikov, Alexander, Balog, Matej, Kumar, M. Pawan, Dupont, Emilien, Ruiz, Francisco J. R., Ellenberg, Jordan S., Wang, Pengming, Fawzi, Omar, Kohli, Pushmeet, Fawzi, Alhussein
• Format: Journal Article
• Language: English
• Published: London Nature Publishing Group UK 18.01.2024; Nature Publishing Group
• Subjects: 639/705/1045; 639/705/117; Algorithms; Applications programs; Artificial Intelligence; Combinatorial analysis; Combinatorics; Computer Science; Design specifications; Feedback loops; Function space; Humanities and Social Sciences; Language; Large language models; Mathematical models; multidisciplinary; Natural language (computers); Neural networks; Science; Science (multidisciplinary); Subject specialists; Task complexity

Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language. However, LLMs sometimes suffer from confabulations (or hallucinations), which can result in them making plausible but incorrect statements 1...