FunSearch: Making new discoveries in mathematical sciences using Large Language Models
Research Published 14 December 2023 Authors Alhussein Fawzi and Bernardino Romera Paredes By searching for “functions” written in computer code, ...
Read more
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Acknowledgements We thank the International Mathematical Olympiad organization for their support. AlphaProof development was led by Thomas Hubert, Rishi Mehta ...
Read more
