Ringraziamenti
Ringraziamo l'organizzazione delle Olimpiadi Internazionali della Matematica per il suo supporto.
Lo sviluppo di AlphaProof è stato guidato da Thomas Hubert, Rishi Mehta e Laurent Sartran; gli sforzi per AlphaGeometry 2 e il ragionamento del linguaggio naturale sono stati guidati da Thang Luong.
AlphaProof è stato sviluppato con i contributi 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. I precedenti collaboratori includono 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 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, 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 l'intero progetto.
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. Il Prof. Gregor Dolinar e il Dr. Geoff Smith MBE del Consiglio IMO, per il supporto e la collaborazione. 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 e Sergey Brin per il loro supporto e i loro consigli.
Infine, vorremmo ringraziare i numerosi collaboratori dei progetti Lean e Mathlib, senza i quali AlphaProof non sarebbe stato possibile.
Fonte: deepmind.google
