Expresiones de gratitud
Agradecemos a la organización de la Olimpiada Internacional de Matemáticas por su apoyo.
El desarrollo de AlphaProof estuvo dirigido por Thomas Hubert, Rishi Mehta y Laurent Sartran; Thang Luong dirigió los esfuerzos de AlphaGeometry 2 y el razonamiento en lenguaje natural.
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 asesoraron y contribuyeron como expertos en Lean. Los colaboradores anteriores incluyen a 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 dirigido por 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 del lenguaje natural estuvo dirigido por 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, Jarrod Kahn, Maciej Kula y Cosmo Du. Quoc Le asesoró tanto a AlphaGeometry como a los sistemas de razonamiento en lenguaje natural.
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 que ayudaron a evaluar la calidad de nuestro sistema de razonamiento lingüístico. Jeff Stanway, Jessica Lo, Erica Moreira, Petko Yotov y Kareem Ayoub por su apoyo en el suministro y la gestión informática. al Prof. Gregor Dolinar y al Dr. Geoff Smith MBE de la Junta de la OMI, por el apoyo y la colaboración; y Tu Vu, Hanzhao Lin, Chenkai Kuang, Vikas Verma, Yifeng Lu, Xinyun Chen, Denny Zhou, Vihan Jain, Henryk Michalewski, Xavier García, Arjun Kar, Lampros Lamprou, Kaushal Patel, Kelvin Xu, Ilya Tolstikhin, 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 consejos.
Finalmente, nos gustaría agradecer a los numerosos contribuyentes a los proyectos Lean y Mathlib, sin los cuales AlphaProof no habría sido posible.