致謝
我們感謝國際數學奧林匹克組織的支持。
托馬斯·休伯特（Thomas Hubert），里希·梅塔（Rishi Mehta）和勞倫特·薩特蘭（Laurent Sartran）領導了字母隔板的開發； thang luong領導了載語2和自然語言推理工作。
AlphaProof was developed with key contributions from 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）和丹尼爾·鄭（Daniel Zheng）領導了非正式系統（例如最終答案確定）的發展，並提供了Iuliya Beloshapka，Ingrid von Glehn，Yin Li，Yin Li， Fabian Pedregosa，Ameya Velingker和Goranžužić的重要貢獻。 Oliver Nash，Bhavik Mehta，Paul Lezeau，Salvatore Mercuri，Lawrence Wu，Calle Soenne，Thomas Murrills，Luigi Massacci和Andrew Yang和Andrew Yang建議並為精益專家做出了貢獻。過去的貢獻者包括Amol Mandhane，Tom Eccles，EserAygün，Zhitao Gong，Richard Evans，SoňaMokrá，Amin Barekatain，Wendy Shang Shang，Hannah Openshaw，Felix Gimeno。 David Silver和Pushmeet Kohli建議了這項工作。
電腦計量學2的發展由Trieu Trinh和Yuri Chervonyi領導，並由MirekOlšák，Xiaomeng Yang，Hoang Nguyen，Junehyuk Jung，Dawsen Hwang和Marcelo Menegali做出了重要貢獻。 The development of the natural language reasoning system was led by Golnaz Ghiasi, Garrett Bingham, YaGuang Li, with key contributions by 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。 QuoC LE建議使用字母度計和自然語言推理系統。
David Silver，Quoc LE，Demis Hassabis和Pushmeet Kohli協調並管理了整個項目。
我們還要感謝Insuk Seo，Evan Chen，Zigmars Rasscevskis，Kari Ragnarsson，Junhwi Bae，Jeonghyun Ahn，Jimin Kim，Hung Pham，Nguyen Nguyen，Son Pham和Pasin Manurangsi幫助評估了我們幫助評估我們語言質量的系統理性系統的品質. .傑夫·斯坦威（Jeff Stanway），傑西卡·羅（Jessica Lo），埃里卡·莫雷拉（Erica Moreira），佩特科·尤托夫（Petko Yotov）和卡里姆·艾約（Kareem Ayoub）支持他們對計算提供和管理的支持。 IMO董事會的Gregor Dolinar教授和Geoff Smith MBE博士提供支持和合作； and 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和Sergey Brin的支持和建議。
最後，我們要感謝精益和Mathlib項目的眾多貢獻者，沒有他們的字母不可能是不可能的。
