[ad_1]
Sự nhìn nhận
Chúng tôi xin cảm ơn tổ chức Olympic Toán học quốc tế vì sự hỗ trợ của họ.
Sự phát triển của AlphaProof được dẫn dắt bởi Thomas Hubert, Rishi Mehta và Laurent Sartran; AlphaGeometry 2 và nỗ lực lập luận ngôn ngữ tự nhiên được dẫn dắt bởi Thang Luong.
AlphaProof được phát triển với sự đóng góp quan trọng của 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 và Daniel Zheng dẫn đầu quá trình phát triển các hệ thống không chính thức như xác định câu trả lời cuối cùng, với sự đóng góp quan trọng của Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedregosa, Ameya Velingker và Goran Žužić. Oliver Nash, Bhavik Mehta, Paul Lezeau, Salvatore Mercuri, Lawrence Wu, Calle Soenne, Thomas Murrills, Luigi Massacci và Andrew Yang đã tư vấn và đóng góp với tư cách là chuyên gia Lean. Những người đóng góp trước đây bao gồm Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Mokrá, Amin Barekatain, Wendy Shang, Hannah Openshaw, Felix Gimeno. Công trình này được cố vấn bởi David Silver và Pushmeet Kohli.
Sự phát triển của AlphaGeometry 2 được dẫn dắt bởi Trieu Trinh và Yuri Chervonyi, với những đóng góp quan trọng của Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang và Marcelo Menegali. Sự phát triển của hệ thống lý luận ngôn ngữ tự nhiên được dẫn dắt bởi Golnaz Ghiasi, Garrett Bingham, YaGuang Li, với những đóng góp quan trọng của Swaroop Mishra, Nigamaa Nayakanti, Sidharth Mudgal, Qijun Tan, Junehyuk Jung, Hoang Nguyen, Alex Zhai, Dawsen Hwang, Mingyang Deng, Clara Huiyi Hu, Cosmo Du. Cả AlphaGeometry và hệ thống lý luận ngôn ngữ tự nhiên đều được cố vấn bởi Quoc Le.
David Silver, Quoc Le, Demis Hassabis và Pushmeet Kohli đã điều phối và quản lý toàn bộ dự án.
Chúng tôi cũng muốn cảm ơn Insuk Website positioning, Evan Chen, Zigmars Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeonghyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham và Pasin Manurangsi đã giúp đánh giá chất lượng hệ thống lý luận ngôn ngữ của chúng tôi. Giáo sư Gregor Dolinar và Tiến sĩ Geoff Smith MBE từ Hội đồng IMO đã hỗ trợ và hợp tác. 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 và Sergey Brin vì sự hỗ trợ và lời khuyên của họ.
Cuối cùng, chúng tôi muốn cảm ơn những người đã đóng góp cho dự án Lean và Mathlib, nếu không có họ thì AlphaProof sẽ không thể thành công.
[ad_2]
Source link