Mathematical discoveries from program search with large language models - 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 (Nature (London), 2024)
Keywords: 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