Thanks
We thank the International Organization of the Mathematical Olympiad for their support.
The development of Alphaproof was led by Thomas Hubert, Risha Mehta and Laurent Sartran; Alfageometry 2 and reasoning in natural language was led by Thang Luong.
Alphaproof was developed with the key contribution of Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, Jessica Yung, Lei Yu, Yannick Schroecker, Julian Schrittwiieser, Ettavia Bertolli, Borja Ibkar, Edward, Edward, Edward, Edward, Edward, Edward, Edward, Edward, Edward, Edward, Edward Mark, Mark, Mark, Mark, Mark. Rowland, Grace Margand. Alex Davies and Daniel Zheng conducted the development of informal systems, such as determining the final answer, with the key contribution of Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedregosa, Amey Velingker and Goran Žužić. Oliver Nash, Bhavik Mehta, Paul Lezeau, Salvatore Mercuri, Lawrence Wu, Calle Soenne, Thomas Murrills, Luigi Massacci and Andrew Yang advised and contributed as Lean experts. Former co -workers to Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Moká, Amin Barekatain, Wendy Shang, Hannah Openshaw, Felix Gimeno. David Silver and Pushmeet Kohli advised these works.
The development of Alfageometry 2 was led by Trieu Trinh and Yuri Chervonyi, with the key contribution of Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang and Marcelo Menegali. The development of the system of reasoning in natural language was conducted by Golnaz Ghiasi, Garrett Bingham, Yaguang Li, with key cartridges Swaroop Mishry, Nigamaa Nayakanti, Sidharth Mudgal, Qijun Tan, Junehyuk Jung, Hoang Nguyen, Alex Zhai, Dawsen Hwang, Mingyang Deng, Clarayi Hu, Jarr, Jarr Kahn, Maciej Kula, Cosmo Du. Both alphagemetry and natural language reasoning systems have been recommended by QUOC LE.
David Silver, Quoc Le, Demis Hassabis and Pushmeet Kohli coordinated and managed a general project.
We would also like to thank the SEO Instrue, Evan Chen, Zigmarom Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeemhyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham and Pasin Manurangi, who helped assess the quality of our language reason. Jeff Stanway, Jessica LO, Eric Moreira, Petko Yotov and Kareem Ayoub for support for computer benefits and management. Prof. Gregor Dolinar and Dr. Geoff Smith MBE from IMO Board, for support and cooperation; And here 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, Olya Tolstikhin, Olivier Bousquet. Tsitsulin, Dustin Zelle, Cjs Carey, Sam Blackwell, Abhi Rao, Vahab Mirrochnia, Behnam Neyshabur, Ethan Dyer, Keith Rush, Moritz Firshing, Dan Shved, Ihar Bury, Divyanshu Ranjan, Hadi Hashemi, Alexei Bendebury, Soheil, so Hassas Yeganeh, Shil, Symon, Symon, Hadi Hashemi, Alexei Bendebury Schmitt, Satinder Bavja, Chris Dyer, Jacob Austin, Wenda Li, Heng-Tze Cheng, Ed Che, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean and Sergey Brin for their support and advice.
Finally, we would like to thank many co -creators of Lean and Mathlib projects, without which Alphaproof would not be possible.
