Ringraziamenti
Ringraziamo l’organizzazione delle Olimpiadi Internazionali della Matematica per il loro supporto.
Lo sviluppo di AlphaProof è stato guidato da Thomas Hubert, Rishi Mehta e Laurent Sartran; Gli sforzi di AlphaGeometry 2 e di ragionamento in linguaggio naturale sono stati guidati da Thang Luong.
AlphaProof è stato sviluppato con il contributo chiave di 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, Grace Margand. Alex Davies e Daniel Zheng hanno guidato lo sviluppo di sistemi informali come la determinazione della risposta finale, con i contributi chiave di Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedregosa, Ameya Velingker e Goran Žužić. Oliver Nash, Bhavik Mehta, Paul Lezeau, Salvatore Mercuri, Lawrence Wu, Calle Soenne, Thomas Murrills, Luigi Massacci e Andrew Yang hanno fornito consulenza e contribuito come esperti Lean. Tra i collaboratori del passato figurano Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Mokrá, Amin Barekatain, Wendy Shang, Hannah Openshaw, Felix Gimeno. Questo lavoro è stato consigliato da David Silver e Pushmeet Kohli.
Lo sviluppo di AlphaGeometry 2 è stato guidato da Trieu Trinh e Yuri Chervonyi, con i contributi chiave di Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang e Marcelo Menegali. Lo sviluppo del sistema di ragionamento in linguaggio naturale è stato guidato da Golnaz Ghiasi, Garrett Bingham, YaGuang Li, con contributi chiave di 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, Cosmo Du. Sia AlphaGeometry che i sistemi di ragionamento in linguaggio naturale sono stati consigliati da Quoc Le.
David Silver, Quoc Le, Demis Hassabis e Pushmeet Kohli hanno coordinato e gestito il progetto complessivo.
Vorremmo anche ringraziare Insuk Seo, Evan Chen, Zigmars Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeonghyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham e Pasin Manurangsi che ci hanno aiutato a valutare la qualità del nostro sistema di ragionamento linguistico. Jeff Stanway, Jessica Lo, Erica Moreira, Petko Yotov e Kareem Ayoub per il loro supporto nella fornitura e nella gestione del computer. il Prof Gregor Dolinar e il Dr Geoff Smith MBE del Consiglio dell’IMO, per il supporto e la collaborazione; e 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, 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 e Sergey Brin per il loro supporto e consiglio.
Infine, vorremmo ringraziare i numerosi contributori ai progetti Lean e Mathlib, senza i quali AlphaProof non sarebbe stato possibile.
Fonte: deepmind.google
