Acknowledgements
We thank the Worldwide Mathematical Olympiad group for his or her assist.
This venture was a large-scale collaboration, and its success is as a result of mixed efforts of many people and groups. Thang Luong led the general technical route for IMO 2025 effort and co-led with Edward Lockhart on the general coordination.
The leads and key contributors of the IMO 2025 workforce are the next; Dawsen Hwang, Junehyuk Jung, Jonathan Lee, Nate Kushman, Pol Moreno, Yi Tay, Lei Yu, Golnaz Ghiasi, Garrett Bingham, Lalit Jain, Vincent Cohen-Addad and Theophane Weber, Ankesh Anand, Steven Zheng, Vinh Tran, Vinay Ramasesh, Andreas Kirsch, Jieming Mao, Zicheng Xu, Wilfried Bounsi, Vahab Mirrokni, Hoang Nguyen, Fred Zhang, Mahan Malihi, Yangsibo Huang, Yuri Chervonyi, Trieu Trinh, Junsu Kim, Mirek Olšák, Marcelo Menegali, Xiaomeng Yang, Miklós Z. Horváth, Aja Huang, Goran Žužić.
The superior Gemini mannequin with Deep Assume for IMO was constructed on foundational analysis from the Deep Assume workforce with sponsorship of the GDM Considering space, and corresponding post-training efforts together with; Archit Sharma, Shubha Raghvendra, Tong He, Pei Solar, Tianhe (Kevin) Yu, Eric Ni, Siamak Shakeri, Hanzhao (Maggie) Lin, Cosmo Du, Sid Lall, Le Hou, Yuan Zhang, Yujing Zhang, Yong Cheng, Luheng He, and Chenxi Liu.
This effort was suggested by Quoc Le and Pushmeet Kohli, with program administration from Kristen Chiafullo and Alex Goldin.
We’d additionally wish to thank our consultants for offering information and evaluations: Insuk Search engine optimisation (lead), Jiwon Kang, Donghyun Kim, Junsu Kim, Jimin Kim, Seongbin Jeon, Yoonho Na, Seunghwan Lee, Jihoo Lee, Younghun Jo, Yongsuk Hur, Seongjae Park, Kyuhyeon Choi, Minkyu Choi, Su-Hyeok Moon, Seojin Kim, Yueun Lee, Taehun Kim, Jeeho Ryu, Seungwoo Lee, Dain Kim, Sanha Lee, Hyunwoo Choi, Aiden Jung, Youngbeom Jin, Jeonghyun Ahn, Junhwi Bae, Gyumin Kim, Nam Dung Tran, Quoc Ba Can Vo, Van Huyen Nguyen, Tuan Anh Nguyen, Thanh Dat Vo, Nguyen Nam Hung Tran, Van Khai Luong, Son Vu, Son Tra Dao, Dai Dinh Phong Tran, Thanh Dat Le, Cheng-Chiang Tsai, Kari Ragnarsson, Kiat Chuan Tan, Yahya Tabesh, Hamed Mahdavi, Azin Nazari, Chu-Lan Kao, Steven Creech, Tony Feng, Daogao Liu, and Ciprian Manolescu.
Additional due to the next folks for assist, collaboration, and recommendation; Omer Levy, Timothy Lillicrap, Jack Rae, Yifeng Lu, Heng-tze Cheng, Denny Zhou, Ed Chi, Vahab Mirrokni, Tulsee Doshi, Madhavi Sewak, Melvin Johnson, Fernando Pereira, Benoit Schillings, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean, Demis Hassabis, Sergey Brin, Jessica Lo, Sajjad Zafar, Tom Simpson, Jane Labanowski, Andy Forbes, Sean Nakamoto, Jonathan Lai, Fabian Pedregosa, Samuel Albanie, Richard Music, Alex Zhai, Sara Javanmardi, Divy Thakkar, YaGuang Li, Nigamaa Nayakanti, Chenjie Gu, Chenkai Kuang, Swaroop Mishra, Filipe Miguel de Almeida, Silvio Lattanzi, Ashkan Norouzi Fard, Tal Schuster, Ziwei Ji, Honglu Fan, Xuezhi Wang, Aditi Mavalankar, Tom Schaul, Rosemary Ke, Xiangzhuo Ding, Adam Brown, Emanuel Taropa, Charlie Chen, Joe Stanton, Cip Baetu, Alvin Abdagic, Federico Lebron, Ioana Mihailescu, Soheil Hassas Yeganeh, Ashish Shenoy, and Minh Giang
Lastly, we thank Prof Gregor Dolinar from the IMO Board for the assist and endorsement.
The IMO have confirmed that our submitted solutions are full and proper options. You will need to be aware that their assessment doesn’t lengthen to validating our system, processes, or underlying mannequin (see extra).
