Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
Acknowledgements We thank the International Mathematical Olympiad organization for their support. Thang Luong led the overall technical direction of the ...
Read more
DeepSeek-Prover-V2: Bridging the Gap Between Informal and Formal Mathematical Reasoning
While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. ...
Read more
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
