Mathematical discoveries from program search with large language models

external-publication

artificial-intelligence

Authors

Romera-Paredes

Barekatain

Novikov

Balog

Kumar

Dupont

Ruiz

Ellenberg

Wang

Fawzi

Kohli

Fawzi

Doi

10.1038/s41586-023-06924-6