AI achieves silver-medal standard solving International Mathematical Olympiad problems

Thanks and appreciation

We thank the International Sports Olympics for its support.

The development of AlPhaproff Thomas Hubert, Rishi Mehta and Laurent Sartran led; Thank you for thinking about alphageometry 2 and the thinking efforts of the natural language.

AlphaProff has been developed with major contributions from Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, Jessica Yung, Lei Yu, Yannick Schrocker, Julian Schrittwieser, ottavia bertolli, Roland, Grace Margand. Alex Davis and Daniel Cheng led the development of unofficial systems such as determining the final answer, with major contributions from Iuliya Beloshapka, Ingrid Von Glehn, Yin Li, Fabian Pedregosa, Ameya Velingker and GORAN žUžIć. Oliver Nash, Bahafic Mehta, Paul Lizo, Salvator Mercury, Lawrence Woo, Kali Sen, Thomas Morels, Luigi Massachi and Andrew Yang, contributed as meager experts. Among the former shareholders Amul Mandahan, Tom Eclis, Ezner Aegeon, Chitao Gong, Richard Evans, Sora Mourakar, Amin Barkin, Windy Shang, Hannah Obenso, Felix Jimino. This work was advised by David Silver and Pushmeet Kohli.

The development of Alphageometry 2 led by Trieu Trinh, Yuri Chervonyi, with major contributions by Mirek Olšák, Xiaoming Yang, Hoang Nguyen, Junhyuk Jung, Dawsen Hwang and Marceelo Menegalii. Ghiasi, Garrett Bingham, Yaguang Li led, with major contributions by Swarooop Mishra, Nigamaa Nayakanti, Sidhant Mudgal, QIJUN Tan, Junhuk Jung, Hoang Noguyen, Alexhai, Dawsen Hwang, Mingyang, Clara, Kan, Massig Cola, Cosmo Du. Both electrical thinking systems and natural language were advised by Quoc le.

David Silver, Quoc LE, Demis Hassabis and Pushmeet Kohli coordinated and manage the total project.

We also would like to thank Hasan Seo, Ivan Chen, Zimarz Rasvskis, Carrie Ragnarson, Johnoy Bay, Jongyun Ahn, Jimin Kim, Hong Fam, Naguen Naguin, Ibn Fam and Bassin Manourangsi who helped assess the quality of linguistic areas. Jeff Stanawi, Jessica Lu, Erika Moreira, Petco Utov and Karim Ayoub for their support for an account and management. Professor Gregor Dolinear and Dr. Jeff Smith MBE from IMO Board of Directors, to obtain support and cooperation; And Tu Vu, Hanzhao Lin, Chenkai Kuang, Vikas Verma, Yifeng Lu, Xinyun Chen, Denny Zhou, Vihan Jain, Henryk Michalewski, Xavier Garcia, Arjun Kar, Lampros Lamprou, Kaushal Patel, Kelvin Xu, Tsitolin, Dustin Zel, CJ Carrie, Sam Blackwail, Abhi Rao, Viga Merukni, Hanam Nichapoor, Ethan Dyer, Keith Rush, Mauritz Versing, Dan Shafid, Ehar Perry, Diviancho Ranjan, Hadi Hahimi, Alex Boldbberry, Schmitt, Satinder Baveja, Chris Dyer, Jacob Austin, Wenda Li, Heng-Tze Cheng, ED Chi, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean and Sergey Brin to support and advise them.

Finally, we would like to thank many contributors to Lean and Mathlib projects, without which AlphaProof was not possible.