Agradecimientos
Agradecemos a la organización de la Olimpiada Internacional de Matemáticas por su apoyo.
El desarrollo de AlphaProof fue dirigido por Thomas Hubert, Rishi Mehta y Laurent Sartran; los esfuerzos de AlphaGeometry 2 y el razonamiento en lenguaje natural fueron dirigidos por Thang Luong.
AlphaProof se desarrolló con contribuciones clave de Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, Jessica Yung, Lei Yu, Yannick Schroecker, Julian Schrittwieser, Ottavia Bertolli, Borja Ibarz, Edward Lockhart, Edward Hughes, Mark Rowland y Grace Margand. Alex Davies y Daniel Zheng lideraron el desarrollo de sistemas informales como la determinación de la respuesta final, con contribuciones clave de Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedregosa, Ameya Velingker y Goran Žužić. Oliver Nash, Bhavik Mehta, Paul Lezeau, Salvatore Mercuri, Lawrence Wu, Calle Soenne, Thomas Murrills, Luigi Massacci y Andrew Yang brindaron asesoramiento y contribuyeron como expertos en Lean. Entre los colaboradores anteriores se encuentran Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Mokrá, Amin Barekatain, Wendy Shang, Hannah Openshaw y Felix Gimeno. Este trabajo fue asesorado por David Silver y Pushmeet Kohli.
El desarrollo de AlphaGeometry 2 estuvo a cargo de Trieu Trinh y Yuri Chervonyi, con contribuciones clave de Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang y Marcelo Menegali. El desarrollo del sistema de razonamiento en lenguaje natural estuvo a cargo de Golnaz Ghiasi, Garrett Bingham, YaGuang Li, con contribuciones clave de Swaroop Mishra, Nigamaa Nayakanti, Sidharth Mudgal, Qijun Tan, Junehyuk Jung, Hoang Nguyen, Alex Zhai, Dawsen Hwang, Mingyang Deng, Clara Huiyi Hu, Cosmo Du. Tanto AlphaGeometry como los sistemas de razonamiento en lenguaje natural recibieron asesoramiento de Quoc Le.
David Silver, Quoc Le, Demis Hassabis y Pushmeet Kohli coordinaron y gestionaron el proyecto general.
También nos gustaría agradecer a Insuk Seo, Evan Chen, Zigmars Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeonghyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham y Pasin Manurangsi, quienes ayudaron a evaluar la calidad de nuestro sistema de razonamiento lingüístico. Al profesor Gregor Dolinar y al doctor Geoff Smith MBE de la Junta Directiva de la OMI por el apoyo y la colaboración. Jarrod Kahn, Maciej Kula, Tu Vu, Hanzhao Lin, Chenkai Kuang, Vikas Verma, Yifeng Lu, Vihan Jain, Henryk Michalewski, Xavier Garcia, Arjun Kar, Lampros Lamprou, Kaushal Patel, Ilya Tolstikhen, Olivier Bousquet, Anton Tsitsulin, Dustin Zelle, CJ Carey, Sam Blackwell, Abhi Rao, Vahab Mirrokni, Behnam Neyshabur, Ethan Dyer, Keith Rush, Moritz Firsching, Dan Shved, Ihar Bury, Divyanshu Ranjan, Hadi Hashemi, Alexei Bendebury, Soheil Hassas Yeganeh, Shibl Mourad, Simon Schmitt, Satinder Baveja, Chris Dyer, Jacob Austin, Wenda Li, Heng-tze Cheng, Ed Chi, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean y Sergey Brin por su apoyo y asesoramiento.
Por último, nos gustaría agradecer a los numerosos colaboradores de los proyectos Lean y Mathlib, sin los cuales AlphaProof no habría sido posible.
