A IA atinge problemas da Olimpíada Matemática Internacional de Medida de Prata Medida

Agradecimentos

Agradecemos à Organização Internacional da Olimpíada Matemática por seu apoio.

O desenvolvimento do AlphaProof foi liderado por Thomas Hubert, Rishi Mehta e Laurent Sartran; Os esforços de alfagometria 2 e raciocínio de linguagem natural foram liderados por Thang Luong.

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 e Daniel Zheng lideraram o desenvolvimento de sistemas informais, como a determinação da resposta final, com as principais contribuições de Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedrega, 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 aconselharam e contribuíram como especialistas magros. Os colaboradores anteriores incluem Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Mokrá, Amin Barekatain, Wendy Shang, Hannah OpenShaw, Felix Gimeno. Este trabalho foi aconselhado por David Silver e Pushmeet Kohli.

O desenvolvimento de alfagometria 2 foi liderado por Trieu Trinh e Yuri Chervonyi, com principais contribuições de Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang e 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. Os sistemas de alfagometria e raciocínio de linguagem natural foram aconselhados pelo quoc le.

David Silver, Quoc Le, Demis Hassabis e Pushmeet Kohli coordenaram e administraram o projeto geral.

Também gostaríamos de agradecer a Insuk SEO, Evan Chen, Zigmars Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeelghyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham e Pasin Manurangsi . Jeff Stanway, Jessica Lo, Erica Moreira, Petko Yotov e Kareem Ayoub por seu apoio à provisão e gerenciamento de computação. O professor Gregor Dolinar e o Dr. Geoff Smith MBE, do Conselho da IMO, para o apoio e colaboração; 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, Iharbury, Sobury, Sonshu Ranos, Hadi Hashemi, Alexei Bendeil, , Simon Schmitt, Satinder Baveja, Chris Dyer, Jacob Austin, Wenda Li, Heng-Tze Cheng, Ed Chi, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean e Sergey Brin por seu apoio e conselhos.

Por fim, gostaríamos de agradecer aos muitos colaboradores dos projetos Lean e Mathlib, sem os quais o AlphaProof não seria possível.