L’IA atteint des problèmes d’Olympiades mathématiques internationales en matière de médails argentés.

Remerciements

Nous remercions l’organisation internationale de l’Olympiade mathématique pour leur soutien.

Le développement alphaproof était dirigé par Thomas Hubert, Rishi Mehta et Laurent Sartran; Les efforts de raisonnement en alphageométrie 2 et en langage naturel ont été dirigés par Thang Luong.

Alphaproof a été développé avec des contributions clés de Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, Jessica Yung, Lei Yu, Yannick Schecker Rowland, Grace Margand. Alex Davies et Daniel Zheng ont dirigé le développement de systèmes informels tels que la détermination des réponses finales, avec des contributions clés d’Iuliya Beloshapka, Ingrid von Glehn, Yin Li, Fabian Pedregosa, Ameya Velingker et Goran Žužić. Oliver Nash, Bhavik Mehta, Paul Lezeau, Salvatore Mercuri, Lawrence Wu, Calle Soenne, Thomas Murrills, Luigi Massacci et Andrew Yang ont conseillé et contribué en tant qu’experts maigres. Les contributeurs antérieurs incluent Amol Mandhane, Tom Eccles, Eser Aygün, Zhitao Gong, Richard Evans, Soňa Mokrá, Amin Barekatain, Wendy Shang, Hannah Openshaw, Felix Gimeno. Ce travail a été conseillé par David Silver et Pushmeet Kohli.

Le développement de l’alphageométrie 2 a été dirigé par Trieu Trinh et Yuri Cervonyi, avec des contributions clés de Mirek Olšák, Xiaomeng Yang, Hoang Nguyen, Junehyuk Jung, Dawsen Hwang et Marcelo Menegali. Le développement du système de raisonnement en langage naturel a été dirigé par Golnaz Ghiasi, Garrett Bingham, Yaguang Li, avec des contributions clés de Swaroop Mishra, Nigamaa Nayakanti, Sidharth Mudgal, Qijun Tan, Junehyuk Jung, Hoang Nguyen, Alex Zhai, Dawsen Hwang, Mingyang Deng, Claa Huyi Huyi, Jarrodi Kahn, Maciej Kula, Cosmo Du. Les systèmes de raisonnement en alphageométrie et en langage naturel ont été conseillés par Quoc LE.

David Silver, Quoc Le, Demis Hassabis et Pushmeet Kohli ont coordonné et géré le projet global.

Nous tenons également à remercier l’insuk SEO, Evan Chen, Zigmars Rasscevskis, Kari Ragnarsson, Junhwi Bae, Jeonghyun Ahn, Jimin Kim, Hung Pham, Nguyen Nguyen, Son Pham et Pasin Manurangsi qui ont aidé à évaluer la qualité de notre système de raisonnement linguistique. Jeff Stanway, Jessica LO, Erica Moreira, Petko Yotov et Kareem Ayoub pour leur soutien à la fourniture et à la gestion de calcul. Le professeur Gregor Dolinar et le Dr Geoff Smith MBE du conseil d’administration de l’OMI, pour le soutien et la collaboration; et 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 BousQuer, Anton, Anton, Ilya Tolstikhin, Olivier BousQuer, Anton, Anton, Anton Tolstikhin, Olivier BousQuer, Anton, Anton, Anton, Tolstikhin, Olivier BousQuer, Anton, Anton, Anton Tolstikhin, Olivier BousQuer, Anton, Anton, Anton Tolstikhin, Olivier BousQuer, Anton, Anton, Anton, Tolste Tsitsulin, Dustin Zelle, CJ Carey, Sam Blackwell, Abhi Rao, Vahab Mirrokni, Behnam Neyshabur, Ethan Dyer, Keith Rush, Moritz Firsching, Dan Shve Schmitt, Satinder Baveja, Chris Dyer, Jacob Austin, Wenda Li, Heng-Tze Cheng, Ed Chi, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean et Sergey Brin pour leur soutien et leurs conseils.

Enfin, nous tenons à remercier les nombreux contributeurs aux projets Lean et Mathlib, sans qui Alphaproof n’aurait pas été possible.